Datalog++: A basis for active object-oriented databases

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

Volumn 1341, Issue , 1997, Pages 283-301

  Giannotti, Fosca ^a   Manco, Giuseppe ^a   Nanni, Mirco ^b   Pedreschi, Dino ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION MANAGEMENT; INTELLIGENT DATABASES; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES; SEMANTICS;

ACTIVE RULES; DATALOG; FIXPOINTS; FLEXIBLE PROGRAMMING; FRONT END; OBJECT ORIENTED MODEL; SEMI STRUCTURED DATA; STABLE MODEL SEMANTICS;

OBJECT-ORIENTED DATABASES;

EID: 84948960827     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63792-3_21     Document Type: Conference Paper

References (28)

1. Serge Abiteboul. Querying Semi-Structured Data. In Proc. of the Int. Conf. on Database Theory (ICDT97), pages 1-17, 1997.
2. Serge Abiteboul and Victor Vianu. Queries and Computation on the Web. In Proc. of the Int. Conj. on Database Theory (ICDT97), pages 262-275, 1997.
3. A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An Object Data Model with Roles. In Proc. of the 19th Int. Conj. on Very Large Data Bases, 1993.
4. N. Arni, K. Ong, S. Tsur, and C. Zaniolo. £:D/:++: A Second Generation Deductive Databases Systems. Technical report, MCC Corporation, 1993.
5. E. Bertino, G. Guerrini, and D. Montesi. Deductive Object Databases. In Proocedings oJ ECOOP'95, 1995.
6. A. J. Bonner and M. Kifer. Transaction Logic Programming. Technical Report CSRI-270, Computer System Research Institute, University of Toronto, December 1993.
7. P. Buneman, S. Davidson, M. Fernandez, and D. Suciu. Adding Structure to Unstructured Data. In Proc. of the Int. Conj. on Database Theory (ICDT97), pages 336-350, 1997.
8. J. Chomicki. Depth-Bounded bottom-up Evaluation of Logic Programs. Journal of Logic Programming, 25(1):1-31, October 1995.
9. P. Fraternali and L. Tanca. A Structured Approach for the Definition of the Semantics of Active Rules. ACId Transactions on Database Systems, 20(4):414-471, 1995.
10. M Gelfond and V. Lifchitz. The Stable Model Semantics for logic programming. In Proc. of the 5th Int. Conf. on Logic Programming, pages 1070-1080, 1988.
11. F. Giannotti, S. Greco, D. Sacc~, and C. Zaniolo. Programming with non Determinism in Deductive Databases. Annals of Mathematics in Artificial Intelligence, 19:97-125, 1997.
12. F. Giannotti, G. Manco, M. Nanni, and D. Pedreschi. Datalog++: A basis for Active Object-Oriented Databases. Technical Report C97-011, The CNUCE Institute, 1997.
13. F. Giannotti, G. Manco, and D. Pedreschi. A Deductive Data Model for Representing and Querying Semistructured Data. In Proc. of the 2nd Int. Workshop on Logic Programming Tools for Internet Applications, July 1997.
14. F. Giannotti, D. Pedreschi, D. Sacc&, and C. Zaniolo. Non-Determinism in Deductive Databases. In Proc. of the Int. Conf. on Deductive and Object-Oriented Databases (DOOD91), volume 566 of Lecture Notes in Computer Science, pages 129-146, 1991.
15. F. Giannotti, D. Pedreschi, and C. Zaniolo. Semantics and Expressive Power of Non Deterministic Constructs for Deductive Databases. Technical Report C96-04, The CNUCE Institute, 1996.
16. M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-Oriented and Frame-Based Programming. Journal of ACM, 42(4):741-843, July 1995.
17. L.V.S. Lakshman, F. Sadri, and I.N. Symramanian. A Declarative Language for Querying and Restructuring the Web. In Proc. of the Post-ICDE IEEE Workshop on research Issues in Data Engineering (RIDE-NDS'96), February 1996.
18. S. W. Loke, A. Davison, and L. Sterling. Lightweight deductive databases on the world-wide web. In Proc. of the 1st Workshop on "Logic Programming Tools for Internet Applications", September 1996.
19. S. Manchanda. Declarative Expression of Deductive Database Updates. In Proceedings of the ACM Symposium on Principles of Database Systems, 1989.
20. A.O. Mendelzon, G.A. Mihaila, and T. Milo. Querying the World Wide Web. In Proc. of the Conf. on Parallel and Distributed Information Systems, 1996.
21. M. Nanni. Nondeterminism and XY-Stratification in Deductive Databases (in italian). Master's thesis, Department of Computer Science University of Pisa, 1997.
22. Y. Papakonstantinou, H. Garcia-Molina, and J. Widom. Object Exchange across Heterogeneous Information Sources. In Proc. of the Int. Conf. on Data Engineering, pages 251-260, 1995.
23. D. Quass, A. Rajaraman, Y. Sagiv, J. Ullman, and J. Widom. Querying Semistructured Heterogeneous Information. In Proe. of the Int. Conf. on Deductive and Object-Oriented Databases (DOOD95), volume 1013 of Lecture Notes in Computer Science, pages 319-344, 1995.
24. R. Wieringa, W. de Jonge, and P. Spruit. Using Dynamic Classes and Role Classes to Model Object Migration. Theory and Practice of Object Systems, 1(1):173-196, 1995.
25. C. Zaniolo. A Unified Semantics for Active and Deductive Databases. In Proc. of the 1st Int. Workshop on Rules in Database Systems (RIDS93), pages 271-287, 1993.
26. C. Zaniolo. Active Database Rules with Transaction Conscious Stable Model Semantics. In Proc. of the Int. Conf. on Deductive and Object-Oriented Databases (DOOD95), volume 1013 of Lecture Notes in Computer Science, pages 55-72, 1995.
27. C. Zaniolo, N. Arni, and K. Ong. Negation and Aggregates in Recursive Rules: The LDC:DL-b+ Approach. In Proc. of the Int. Conf. on Deductive and Object-Oriented Databases (DOOD93), volume 760 of Lecture Notes in Computer Science, 1993.
28. C. Zaniolo, S. Ceri, C. Faloutsos, R.T Snodgrass, V.S. Subrahmanian, and R. Zicart. Advanced Database Systems. Morgan Kaufman, 1997.