Integrity Constraints: Semantics and Applications

Integrity constraints axe introduced in a logical framework. Examples are given to illustrate the expressiveness of integrity constraints. Various definitions for the semantics of integrity constraints are defined and compared. Additional types of constraints are also mentioned. Techniques of reasoning with integrity constraints, including model elimination and the residue method, are explained. Applications of integrity constraints considered in detail, including semantic query optimization, cooperative answering, combining databases, and view updates. Additional applications to order optimization, query folding, object-oriented databases, and database security are sketched. The conclusion lists areas of integrity constraints that need to be investigated.

[1]  P. Hayes.  Stanford Artificial Intelligence Project Memo a Im-153' The-frame Problem and Related Problems on .,, 1971 .

[2]  George Boolos,et al.  Computability and logic , 1974 .

[3]  James Robb Mcskimin.  The use of semantic information in deductive question-answering systems. , 1976 .

[4]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[5]  Robert A. Kowalski.  Logic for Data Description , 1977, Logic and Data Bases.

[6]  Jürgen M. Janas.  How Not to Say "NIL": Improving Answers to Failing Queries in Data Base Systems , 1979, IJCAI.

[7]  Jürgen M. Janas.  On the Feasibility of Informative Answers , 1979, Advances in Data Base Theory.

[8]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[9]  Stanley B. Zdonik,et al.  Knowledge-Based Query Processing , 1980, VLDB.

[10]  Jonathan J. King.  QUIST: A System for Semantic Query Optimization in Relational Databases , 1981, VLDB.

[11]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[12]  Jack Minker,et al.  On Indefinite Databases and the Closed World Assumption , 1987, CADE.

[13]  Donald W. Loveland.  Theorem-Provers Combining Model Elimination and Resolution , 1983 .

[14]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

[15]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

[16]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[17]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[18]  Jack Minker,et al.  A Natural Language Database Interface That Provides Cooperative Answers , 1985, CAIA.

[19]  Ana M. García-Serrano,et al.  Natural Language Understanding and Logic Programming , 1985 .

[20]  Robert Demolombe,et al.  Querying a Rule Base , 1986, Expert Database Conf..

[21]  John Grant,et al.  Semantic Query Optimization: Additional Constraints and Control Strategies , 1986, Expert Database Conf..

[22]  Jack Minker,et al.  Informative and Cooperative Answers in Databases Using Integrity Constraints , 1987, Natural Language Understanding and Logic Programming Workshop.

[23]  Tomasz Imielinski,et al.  Intelligent Query Answering in Rule Based Systems , 1988, J. Log. Program..

[24]  Per-Åke Larson,et al.  Query Transformation for PSJ-Queries , 1987, VLDB.

[25]  Tomasz Imielinski,et al.  Intelligent Query Answering in Rule Based Systems , 1988, J. Log. Program..

[26]  V. Lifschitz,et al.  The Stable Model Semantics for Logic Programming , 1988, ICLP/SLP.

[27]  John Grant,et al.  Foundations of Semantic Query Optimization for Deductive Databases , 1988, Foundations of Deductive Databases and Logic Programming..

[28]  Annie Gal,et al.  COOPERATIVE RESPONSES IN DEDUCTIVE DATABASES , 1988 .

[29]  Jiawei Han,et al.  Semantic query optimization in recursive databases , 1988, Proceedings. Fourth International Conference on Data Engineering.

[30]  Raymond Reiter,et al.  What should a database know? , 1988, PODS '88.

[31]  Kenneth A. Ross,et al.  Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[32]  Michael J. Maher,et al.  Foundations of Deductive Databases and Logic Programming , 1988 .

[33]  Chiaki Sakama,et al.  Possible Model Semantics for Disjunctive Databases , 1989, DOOD.

[34]  Alain Pirotte,et al.  Constraints for improving the generation of intentional answers in a deductive database , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[35]  M. Tamer Özsu,et al.  Using semantic knowledge of transactions to increase concurrency , 1989, TODS.

[36]  Amihai Motro.  Using Integrity Constraints to Provide Intensional Answers to Relational Queries , 1989, VLDB.

[37]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[38]  John Grant,et al.  Logic-based approach to semantic query optimization , 1990, TODS.

[39]  L. Cholvy,et al.  Answering queries addressed to a rule base , 1990 .

[40]  Lawrence J. Henschen,et al.  Semantic query reformulation in deductive databases , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[41]  Sarit Kraus,et al.  Combining Knowledge Bases Consisting of First Order Theories , 1991, ISMIS.

[42]  Jack Minker,et al.  User Needs and Language Generation Issues in a Cooperative Answering System , 1991 .

[43]  Daniel E. O'Leary,et al.  Knowledge Discovery as a Threat to Database Security , 1991, Knowledge Discovery in Databases.

[44]  Sarit Kraus,et al.  Combining Multiple Knowledge Bases , 1991, IEEE Trans. Knowl. Data Eng..

[45]  Alain Pirotte,et al.  Controlled Generation of Intensional Answers , 1991, IEEE Trans. Knowl. Data Eng..

[46]  Jorge Lobo,et al.  Foundations of disjunctive logic programming , 1992, Logic Programming.

[47]  V. S. Subrahmanian,et al.  COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES , 1992, Comput. Intell..

[48]  Jack Minker,et al.  Disjunctive Deductive Databases , 1992, LPAR.

[49]  Subrata Kumar Das,et al.  Deductive Databases and Logic Programming , 1992 .

[50]  Peter F. Patel-Schneider,et al.  The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation , 1992, FGCS.

[51]  Sarit Kraus,et al.  Declarative Foundations of Secure Deductive Databases , 1992, ICDT.

[52]  Laks V. S. Lakshmanan,et al.  On semantic query optimization in deductive databases , 1992, [1992] Eighth International Conference on Data Engineering.

[53]  Shamkant B. Navathe,et al.  Temporal Extensions to the Relational Model and SQL , 1993, Temporal Databases.

[54]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[55]  Larry Kerschberg,et al.  Semantic Query Optimization in Deductive Object-Oriented Databases , 1993, DOOD.

[56]  Wesley W. Chu,et al.  The design and implementation of CoBase , 1993, SIGMOD '93.

[57]  Edward P. F. Chan.  A Possible World Semantics for Disjunctive Databases , 1993, IEEE Trans. Knowl. Data Eng..

[58]  Raymond Reiter,et al.  Temporal Reasoning in Logic Programming: A Case for the Situation Calculus , 1993, ICLP.

[59]  Carlo Zaniolo,et al.  A Unified Semantics for Active and Deductive Databases , 1993, Rules in Database Systems.

[60]  View Updates in Stratiied Disjunctive Databases* , 1993 .

[61]  Paul W. P. J. Grefen,et al.  Integrity Control in Relational Database Systems - An Overview , 1993, Data Knowl. Eng..

[62]  Alan R. Simon,et al.  Understanding the New SQL: A Complete Guide , 1993 .

[63]  Jennifer Widom,et al.  The TSIMMIS Project: Integration of Heterogeneous Information Sources , 1994, IPSJ.

[64]  Yehoshua Sagiv,et al.  Semantic query optimization in Datalog programs (extended abstract) , 1995, ILPS Workshop: Constraints and Databases.

[65]  R. Demolombe,et al.  Nonstandard Queries and Nonstandard Answers , 1994 .

[66]  R. Demolombe,et al.  Nonstandard queries and nonstandard answers: studies in logic and computation , 1994 .

[67]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[68]  Jorge Lobo,et al.  Qualified Answers That Reflect User Needs and Preferences , 1994, VLDB.

[69]  Fangzhen Lin,et al.  How to Progress a Database (and Why) I. Logical Foundations , 1994, KR.

[70]  Nick Roussopoulos,et al.  The Implementation and Performance Evaluation of the ADMS Query Optimizer: Integrating Query Result Caching and Matching , 1994, EDBT.

[71]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[72]  Qiming Chen,et al.  CoBase: a cooperative database system , 1994 .

[73]  Parke Godfrey,et al.  An Architecture for a Cooperative Database System , 1994, ADB.

[74]  Henry F. Korth,et al.  Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model , 1994, TODS.

[75]  V. S. Subrahmanian,et al.  Combining Default Logic Databases , 1994, Int. J. Cooperative Inf. Syst..

[76]  Shekhar Pradhan.  Combining Datalog Databases Using Priorities , 1994, COMAD.

[77]  Werner Nutt,et al.  Subsumption between queries to object-oriented databases , 1994, Inf. Syst..

[78]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[79]  Kyuseok Shim,et al.  Optimizing queries with materialized views , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[80]  Sushil Jajodia,et al.  Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions , 1995, VLDB.

[81]  Fangzhen Lin,et al.  How to Progress a Database II: The STRIPS Connection , 1995, IJCAI.

[82]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[83]  Divesh Srivastava,et al.  Answering Queries Using Views. , 1999, PODS 1995.

[84]  Raymond Reiter,et al.  On Specifying Database Updates , 1995, J. Log. Program..

[85]  Carlo Zaniolo.  Active Database Rules with Transaction-Conscious Stable-Model Semantics , 1995, DOOD.

[86]  Alon Y. Halevy,et al.  Semantic query optimization in Datalog programs (extended abstract) , 1995, PODS '95.

[87]  Jan Chomicki,et al.  Efficient checking of temporal integrity constraints using bounded history encoding , 1995, TODS.

[88]  Jack Minker,et al.  Using Priorities to Combine Knowledge Bases , 1996, Int. J. Cooperative Inf. Syst..

[89]  A Compositional Semantics for Logic Programs and Deductive Databases , 1996, JICSLP.

[90]  Jorge Lobo,et al.  Formal Characterization of Active Databases , 1996, Logic in Databases.

[91]  Martin Rennhackkamp.  Integrity control , 1996 .

[92]  Divesh Srivastava,et al.  Semantic Data Caching and Replacement , 1996, VLDB.

[93]  Jack Minker,et al.  Logic and Databases: A 20 Year Retrospective , 1996, Logic in Databases.

[94]  Xiaolei Qian,et al.  Query folding , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[95]  Jarek Gryz,et al.  Semantic Query Optimization for Bottom-Up Evaluation , 1996, ISMIS.

[96]  Dominique Laurent,et al.  Learning Query Rules for Optimizing Databases with Update Rules , 1996, Logic in Databases.

[97]  Eugene J. Shekita,et al.  Fundamental techniques for order optimization , 1996, SIGMOD '96.

[98]  Sushil Jajodia,et al.  Multimedia database systems: issues and research directions , 1996 .

[99]  Arthur M. Keller,et al.  A predicate-based caching scheme for client-server database architectures , 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.

[100]  Carme Martín,et al.  Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint Checking , 1996, Logic in Databases.

[101]  Robert Demolombe,et al.  Integrity Constraints Revisited , 1996, Log. J. IGPL.

[102]  Bertram Ludäscher,et al.  Nested Transactions in a Logical Language for Active Rules , 1996, Logic in Databases.

[103]  Jarek Gryz,et al.  A Framework for Intensional Query Optimization , 1996, DDLP.

[104]  Michael Kifer,et al.  Concurrency and Communication in Transaction Logic , 1996, JICSLP.

[105]  Alon Y. Halevy,et al.  Recursive Plans for Information Gathering , 1997, IJCAI.

[106]  Fangzhen Lin,et al.  How to Progress a Database , 1997, Artif. Intell..

[107]  Parke Godfrey,et al.  Minimization in Cooperative Response to Failing Database Queries , 1994, Int. J. Cooperative Inf. Syst..

[108]  Louiqa Raschid,et al.  Semantic query optimization for object databases , 1997, Proceedings 13th International Conference on Data Engineering.

[109]  Georg Gottlob,et al.  Disjunctive datalog , 1997, TODS.

[110]  Jarek Gryz,et al.  Overview of Dynamic Query Evaluationin Intensional Query Optimization , 1997, DOOD.

[111]  Nicolas Beldiceanu,et al.  Constraint Logic Programming , 2010, 25 Years GULP.

[112]  Gunter Saake,et al.  Logics for databases and information systems , 1998 .

[113]  Stefan Conrad,et al.  A Logic Primer , 1998, Logics for Databases and Information Systems.

[114]  Bertram Ludäscher,et al.  On Logical Foundations of Active Databases , 1998, Logics for Databases and Information Systems.

[115]  Jarek Gryz,et al.  Query folding with inclusion dependencies , 1998, Proceedings 14th International Conference on Data Engineering.

[116]  Ron van der Meyden,et al.  Logical Approaches to Incomplete Information: A Survey , 1998, Logics for Databases and Information Systems.

[117]  Jan Chomicki,et al.  Temporal Logic in Information Systems , 1998, Logics for Databases and Information Systems.

[118]  Jarek Gryz,et al.  Intensional Query Optimization , 1998 .

[119]  Michael Kifer,et al.  A Logic for Programming Database Transactions , 1998, Logics for Databases and Information Systems.

[120]  David Gray.  Concurrency and Communication , 1999 .

[121]  Parke Godfrey,et al.  An architecture and implementation for a cooperative database system , 1999 .