On the effective semantics of nondeterministic, nonmonotonic, temporal logic databases

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

Volumn 1584, Issue , 1999, Pages 58-72

  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

INTELLIGENT DATABASES; SEMANTICS;

DATALOG; FIXPOINTS; NONMONOTONIC; OPTIMIZATION TECHNIQUES; STABLE MODEL SEMANTICS;

COMPUTER CIRCUITS;

EID: 84880896116     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10703163_5     Document Type: Conference Paper

References (20)

1. K. R. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Proc. Workshop on Found. of Deductive Databases and Logic Programming, pages 89-148. Morgan Kaufman, 1988. 59
2. N. Arni, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A Second Generation Deductive Databases Systems. Technical report, MCC Corporation, 1993. 58, 59
3. I. Balbin, G.S. Port, K. Ramamohanarao, and K. Meenakshi. Efficient Bottom-up Computation of Queries on Stratified Databases. Journal of Logic Programming, 11:295-344, 1991. 69
4. A. Brogi, V. S. Subrahmanian, and C. Zaniolo. The Logic of Totally and Partially Ordered Plans: a Deductive Database Approach. Annals of Mathematics in Artificial Intelligence, 19:59-96, 1997. 58, 58, 59, 59, 64, 65
5. J. Chomicki. Temporal deductive databases. In A. Tansel, J. Clifford, S. Ga- dia, S. Jajodia, A. Segev, and R. Snodgrass, editors, Temporal Databases: Theory, Design and Implementation, pages 294-320. Benjamin Cummings, 1993. 58, 59
6. 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. 60
7. F. Giannotti, G. Manco, and D. Pedreschi. A Deductive Data Model for Representing and Querying Semistructured Data. In Proc. 5th Int. Conf. on Deductive and Object-Oriented Databases (DOOD97), December 1997. 58, 58, 59, 66
8. F. Giannotti, D. Pedreschi, D. Sacca, and C. Zaniolo. Non-Determinism in Deductive Databases. In Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases (DOOD91), volume 566 of Lecture Notes in Computer Science, pages 129-146, 1991. 58, 59
9. 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. Submitted. 64
10. D. Kemp, K. Ramamohanarao, and P. Stuckey. ELS programs and the efficient evaluation of non-stratified programs by transformation to ELS. In Proc. 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD95), pages 91-108, 1995. 59
11. R. Krishnamurthy and S. Naqvi. Non-deterministic Choice in Datalog. In Proc. 3rd Int. Conf. on Data and Knowledge Bases, pages 416-424, 1988. 59
12. B. Ludascher, U. Hamann, and G. Lausen. A logical framework for active rules. In Proc. 7th COMAD Int. Conf. on Management of Data. Tata McGraw-Hill, 1995. 59
13. M. Nanni. Nondeterminism and XY-Stratification in Deductive Databases (in Italian). Master's thesis, Department of Computer Science University of Pisa, 1997. 59, 65
14. S. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, 1989. 59
15. T. C. Przymusinski. Every logic program has a natural stratification and an iterated fix point model. In Proc. 8th ACM PODS Symposium on Principles of Database Systems, pages 11-21, 1989. 59, 61, 63
16. K. A. Ross. Modular Stratification and Magic Sets for Datalog Program with Negation. Journal of ACM, 41(6):1216-1266, November 1994. 59, 63, 68, 69
17. D. Sacca and C. Zaniolo. Stable Models and Non-determinism in Logic Programs with Negation. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 205-217, 1990. 59
18. C. Zaniolo. Active Database Rules with Transaction Conscious Stable Model Semantics. In Proc. 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD95), volume 1013 of Lecture Notes in Computer Science, pages 55-72, 1995. 58, 66
19. C. Zaniolo, N. Arni, and K. Ong. Negation and Aggregates in Recursive Rules: The LDL++ Approach. In Proc. 3rd Int. Conf. on Deductive and Object-Oriented Databases (DOOD93), volume 760 of Lecture Notes in Computer Science, 1993. 58, 60, 65, 66, 66
20. C. Zaniolo, S. Ceri, C. Faloutsos, R.T Snodgrass, V.S. Subrahmanian, and R. Zicari. Advanced Database Systems. Morgan Kaufman, 1997. 58, 59