Extending datalog with declarative updates

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1873, Issue , 2000, Pages 752-763

  Liu, Mengchi ^a  

^a UNIVERSITY OF REGINA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; EXPERT SYSTEMS; LOGIC PROGRAMMING; SEMANTICS;

DATABASE TRANSACTIONS; DATALOG; DECLARATIVE SEMANTICS; DYNAMIC BEHAVIORS;

INTELLIGENT DATABASES;

EID: 84947931501     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44469-6_70     Document Type: Conference Paper

References (27)

1. S. Abiteboul. Updates, a New Database Frontier. In Proceedings of the Inter¬national Conference on Data Base Theory, pages 1-18，Pruges, Belgium, 1988. Springer-Verlag LNCS 326.
2. S. Abiteboul and V. Vianu. Datalog Extensions for Database Queries and Updates. J. Computer and System Sciences 43(1):62-124, 1991.
3. K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 89-148, Morgan Kaufmann Publishers, 1988.
4. A. J. Bonner and M. Kifer. Transaction Logic Programming. In Proceedings of the International Conference on Logic Programming, pages 257-279, Budapest, Hungary, 1993. MIT Press.
5. A. J. Bonner and M. Kifer. An Overview of Transaction Logic. Theoretical Com¬puter Science, 133(2):205-265, 1994.
6. A.J. Bonner, M. Kifer, and M. Consens. Database Programming in Transaction Logic. In Proceedings of the International Workshop on Database Programming Languages, pages 309-337, Manhattan, New York City, 1993. Morgan-Kaufmann.
7. F. Bry. Intensional Updates： Abduction via Deduction. In Proceedings of the International Conference on Logic Programming, pages 561-575, Budapest, Hungary, 1990. MIT Press.
8. S. Ceri, G. Gottlob, and T. Tanca. Logic Programming and Databases. Springer- Verlag, 1990.
9. W. Chen. Programming with Logical Queries, Bulk Updates and Hypothetical Reasoning. IEEE Transactions on Knowledge and Data Engineering, 9(4)：587- 599，1997.
10. C. de Maindreville and E. Simon. Modelling Non Deterministic Queries and Up¬dates in Deductive Databases. In Proceedings of the International Conference on Very Large Data Bases, pages 395-406, Los Angeles, California, USA, 1988. Morgan Kauñnann Publishers, Inc.
11. A. V. Gelder, K. A. Ross, and J. S. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of A CM, 38(3):620-650, 1991
12. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Program¬ming. In Proceedings of the International Conference and Symposium on Logic Programming, pages 1070-1080, Washington, USA, 1988. MIT Press.
13. A. C. Kakas and P. Mancarella. Database Updates through Abduction. In Proceedings of the International Conference on Very Large Data Bases, pages 650-661, Brisbane, Queensland, Australia, 1990. Morgan Kaufmann Publishers, Inc.
14. M. Liu. ROL： A Deductive Object Base Language. Information Systems, 21(5)：431-457, 1996.
15. M. Liu. An Overview of Rule-based Object Language. Journal of Intelligent Information Systems, 10(1):5-29, 1998.
16. M. Liu. Relationlog： A Typed Extension to Datalog with Sets and Tuples. Journal of Logic Programming, 36(3):271-299, 1998.
17. M. Liu and M. Guo. ROL2： A Real Deductive Object-Oriented Database Language. In Proceedings of the 17th International Conference on Conceptual Modeling (ER ，98), pages 302-315, Singapore, Nov. 16-19 1998. Springer-Verlag LNCS 1507.
18. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2 edition, 1987.
19. S. Manchan da. Declarative Expression of Deductive Database Updates. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 93-100, Philadelphia, Pennsylvania, 1989.
20. S. Manchanda and D. S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 363-394. Morgan Kauñnann Publishers, 1988.
21. D. Montesi, E. Bertino, and M. Martelli. Transactions and Updates in Deductive Databases. IEEE Transactions on Knowledge and Data Engineering, 9(5):784-797, 1997.
22. L. Naish, L. A. Thom, and K. Ramamohanarao. Concurrent Database Updates in Prolog. In Proceedings of the International Conference on Logic Programming, pages 178-189，Melbourne, Victoria, 1987. MIT Press.
23. S. Naqvi and R. Krishnamurthy. Database Updates in Logic Programming. In Proceedings of the ACM Syum. on Principles of Database Systems, pages 261-272, Austin, Texas, 1988.
24. S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.
25. R. Reiter. On Specifying Database Updates. Journal of Logic Programming, 25(1):53-91, 1995.
26. J. D. Ullman. Principles of Database and Knowledge-Base Systems, volume 1 & 2. Computer Science Press, 1989.
27. Carl-Alexander Wichert and Burkhard Freitag. Capturing Database Dynamics by Deferred Updates. In Proceedings of the International Conference on Logic Programming, Leuven, Belgium, 1997. MIT Press.