1. Abiteboul S., Hull R., and Vianu V. Foundations of Databases. Addison-Wesley, 1995.

   Google Scholar 

2. Bancilhon F., Maier D., Sagiv Y., and Ullman J.D. Magic sets and other strange ways to implement logic programs. In Proc. 5th ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, 1986, pp. 1–15.

   Google Scholar 

3. Behrend A., Soft stratification for magic set based query evaluation in deductive databases. In Proc. 22nd ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 2003, pp. 102–110.

   Google Scholar 

4. Bocca J.B. EDUCE: a marriage of convenience: Prolog and a Relational DBMS. In Proc. Symp. in Logic Programming, 1986, pp. 36–45.

   Google Scholar 

5. Ceri S., Gottlob G., and Tanca L. Logic Programming and Databases. Springer, Berlin, 1990.

   Google Scholar 

6. Chakravarthy U.S., Minker J., and Grant J. Semantic query optimization: additional constraints and control strategies. In Proc. Expert Database Conference, 1986, pp. 345–379.

   Google Scholar 

7. Chandra A.K. and Harel D. Horn clauses queries and generalizations. J. Log. Program., 2(1):1–15, 1985.

   MATH MathSciNet  Google Scholar 

8. Comai S. and Tanca L. Termination and confluence by rule prioritization. IEEE Trans. Knowl. Data Eng., 15(2):257–270, 2003.

   Google Scholar 

9. Kowalski R.A. and Kuehner D. Linear resolution with selection function. Artif. Intell., 2:227–260, 1971.

   MATH MathSciNet  Google Scholar 

10. Laenens E. and Vermeir D. Assumption-free semantics for ordered logic programs: on the relationship between well-founded and stable partial models. J. Log. Comput., 2(2):133–172, 1992.

    MATH MathSciNet  Google Scholar 

11. Lloyd J.W. 1987, Foundations of Logic Programming, 2nd edn. Springer, Berlin, ISBN 3-540-18199-7.

    MATH  Google Scholar 

12. Sacca’ D. and Zaniolo C. Stable models and non-determinism in logic programs with negation. In Proc. 9th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 1990, pp. 205–217.

    Google Scholar 

13. Tsur S. and Zaniolo C. LDL: a logic-based data language. In Proc. 12th Int. Conf. on Very Large Data Bases, 1986, pp. 33–41.

    Google Scholar 

14. Ullman J.D. Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, Rockville, MD, USA, 1988.

    Google Scholar 

15. W3C Member Submission. SWRL: a semantic Web rule language combining OWL and RuleML. 21 May 2004, Available at:http://www.w3.org/Submission/SWRL/.

Download references