{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T16:02:03Z","timestamp":1772294523545,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540572343","type":"print"},{"value":"9783540479826","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57234-1_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:29:01Z","timestamp":1330259341000},"page":"221-232","source":"Crossref","is-referenced-by-count":5,"title":["On the maintenance of implication integrity constraints"],"prefix":"10.1007","author":[{"given":"Naci S.","family":"Ishakbeyo\u011flu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z. Meral","family":"\u00d6zsoyo\u011flu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1137\/0201004","volume":"1","author":"A. V. Aho","year":"1972","unstructured":"Aho A. V., Garey M. R., Ullman J. D., The Transitive Reduction of a Direct Graph, Siam Journal of Computing, 1:2, 1972, 31\u20137.","journal-title":"Siam Journal of Computing"},{"key":"20_CR2","first-page":"90","volume":"81","author":"P. Bernstein","year":"1981","unstructured":"Bernstein P. and Blaustein B., A simplification algorithm for integrity assertions and concrete views, Proc. COMPSAC 81, 1981, pp. 90\u201399.","journal-title":"Proc. COMPSAC"},{"key":"20_CR3","unstructured":"B\u00f6ttcher S., Jarke M., Schmidt J W., Adabtive predicate managers in database systems, 12th Int VLDB Conf., Kyoto, 1986, pp. 21\u201329."},{"key":"20_CR4","unstructured":"Bry F., Manthey R., Checking consistency of database constraints: a logical basis, 12th Int. VLDB Conf., Kyoto, 1986, pp. 13\u201320."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Bry F., Decker H., and Manthey R., A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. Lecture Notes in Computer Science 303 (Proc. EDBT'88), Springer-Verlag 1988, pp. 488\u2013505.","DOI":"10.1007\/3-540-19074-0_69"},{"key":"20_CR6","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0169-023X(89)90012-8","volume":"3","author":"H. K. B\u00fcning","year":"1988\/89","unstructured":"B\u00fcning H. K., L\u00f6wen U., Schmitgen S., Inconsistency of production systems, Data & Knowledge Engineering 3 (1988\/89) pp. 245\u2013260.","journal-title":"Data & Knowledge Engineering"},{"key":"20_CR7","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. Chang","year":"1973","unstructured":"Chang C., Lee R. C., Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Elkan C., A Decision Procedure for Conjunctive Query Disjointness, ACM PODS, pp. 134\u2013139, 1989.","DOI":"10.1145\/73721.73735"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin R., Halpern J. Y., and Megiddo N., A Logic for Reasoning about Probabilities, Information and Computation, 87, pp. 78\u2013128, 1990. Springer-Verlag, 1990.","journal-title":"Information and Computation"},{"key":"20_CR10","volume-title":"Logic for Computer Science: Foundations of Automatic Theorem Proving","author":"J H. H. Gallier","year":"1986","unstructured":"Gallier J H., Logic for Computer Science: Foundations of Automatic Theorem Proving, Harper & Row, Publishers, New York, 1986."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Hsu A. and Imielinski T., Integrity checking for multiple updates, Proc. SIGMOD Conf., 1985, pp.152\u2013168.","DOI":"10.1145\/318898.318914"},{"key":"20_CR12","unstructured":"Ishakbeyoglu N S. and Ozsoyoglu Z M., Maintenance of Semantic Integrity Constraints under Database Updates, Proc. 6th ISCIS Symposium, Turkey, 1991, pp. 125\u2013134."},{"key":"20_CR13","unstructured":"Ishakbeyoglu N S., Ozsoyoglu Z M., A Deduction system for implication integrity constraints, Technical Report CIS-9201, Bilkent University, 1992."},{"key":"20_CR14","unstructured":"Ishakbeyoglu N S., Ozsoyoglu Z M., On the Maintenance of Implication Integrity constraints, Technical Report CES-92-09, Case Western Reserve University, 1992."},{"issue":"1","key":"20_CR15","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/42267.42273","volume":"35","author":"A. Klug","year":"1988","unstructured":"Klug A., On Conjunctive Queries Containing Inequalities, JACM 35, 1, pp. 146\u2013160, January 1988.","journal-title":"JACM"},{"key":"20_CR16","volume-title":"PhD Thesis","author":"C. H. Kung","year":"1984","unstructured":"Kung C. H., A Temporal Framework for Information Systems Specification and Verification. PhD Thesis, Univ. of Trondheim, Norway, 1984."},{"key":"20_CR17","unstructured":"Manthey R. and Bry F., SATCHMO: a theorem prover implemented in Prolog. Proc. CADE 88 (9th Conf. on Automated Deduction), Argonne, Illinois, May 1988, also ECRC Tech. Rep. KB-21, Nov. 1987."},{"issue":"No.1","key":"20_CR18","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/58562.59302","volume":"36","author":"W. W. McCune","year":"1989","unstructured":"McCune W. W. and Henschen L. J., Maintaining State Constraints in Relational Databases: A Proof Theoretic Basis, Journal of the ACM, Vol. 36, No. 1, January 1989, pp. 46\u201368.","journal-title":"Journal of the ACM"},{"key":"20_CR19","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF00263192","volume":"18","author":"J-M. Nicolas","year":"1982","unstructured":"Nicolas J-M., Logic for improving integrity checking in relational data bases. Acta Informatica 18, pp. 227\u2013253, 1982","journal-title":"Acta Informatica"},{"key":"20_CR20","unstructured":"Ozsoyoglu Z M., Ishakbeyoglu N S., and Shenoy S T., On the Maintenance of Semantic Implication Constraints, Technical Report, Dept of Computer Engineering and Science, Case Western Reserve University, Nov. 1991"},{"key":"20_CR21","volume-title":"PhD Thesis","author":"Z M. M. Ozsoyoglu","year":"1980","unstructured":"Ozsoyoglu Z M., Query Optimization in Distributed Databases, PhD Thesis, Dept of Computing Sciences, University of Alberta, Canada, 1980."},{"key":"20_CR22","unstructured":"Rosenkrantz D J., Hunt H B., Processing Conjunctive Predicates and Queries, Proc. VLDB, 1980, pp. 64\u201372."},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Sadri F. and Kowalski R., A Theorem-proving approach to database integrity, in J. Minker (ed.) Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Pub., 1988, pp. 313\u2013362.","DOI":"10.1016\/B978-0-934613-40-8.50013-0"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Shenoy S T., Ozsoyoglu Z M., A system for semantic query optimization, Proc. ACM SIGMOD, pp.181\u2013195, May 1987.","DOI":"10.1145\/38713.38736"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Shenoy S T., Ozsoyoglu Z M., Design and implementation of a semantic query optimizer, IEEE Transactions on Knowledge and Data Engineering, pp. 344\u2013361, September 1989.","DOI":"10.1109\/69.87980"},{"key":"20_CR26","unstructured":"Ullman J D., Principles of database and knowledge-base systems Vol I, Computer Science Press, 1988."},{"key":"20_CR27","unstructured":"Ullman J D., Principles of database and knowledge-base systems Vol II, Computer Science Press, 1989."},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Yu T C., and Ozsoyoglu Z M., On determining tree query membership of a distributed query, INFOR, Aug. 1984, pp. 261\u2013281.","DOI":"10.1080\/03155986.1984.11731927"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"Yu T C., and Sun W., Automatic knowledge acquisition and maintenance for semantic query optimization, IEEE Transactions on Knowledge and Data Engineering, pp. 362\u2013375, September 1989.","DOI":"10.1109\/69.87981"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57234-1_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:00Z","timestamp":1605647400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57234-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572343","9783540479826"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-57234-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}