A Framework for Intensional Query Optimization

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

[2]  Kotagiri Ramamohanarao,et al.  An Implementation Overview of the Aditi Deductive Database System , 1993, DOOD.

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

[4]  Z. Meral Özsoyoglu,et al.  Design and Implementation of a Semantic Query Optimizer , 1989, IEEE Trans. Knowl. Data Eng..

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

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

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

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

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

[10]  Divesh Srivastava,et al.  CORAL - Control, Relations and Logic , 1992, VLDB.

[11]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

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

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

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

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

[16]  Parke Godfrey,et al.  A Cooperative Answering System , 1992, Logic Programming and Automated Reasoning.

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

[18]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[19]  Timos K. Sellis,et al.  On the Multiple-Query Optimization Problem , 1990, IEEE Trans. Knowl. Data Eng..

[20]  Carlo Zaniolo,et al.  The LDL System Prototype , 1990, IEEE Trans. Knowl. Data Eng..