Expressiveness of semipositive logic programs with value invention-Reference-Cited by-同舟云学术

Expressiveness of semipositive logic programs with value invention

Published:1996 Issue: Volume: Page:455-474
ISSN:0302-9743
Container-title:Logic in Databases
language:
Short-container-title:

Author:

Cabibbo Luca

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0031756

Reference21 articles.

1. S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Computer and System Science, 43(1):62–124, August 1991.

2. F. Afrati, S. Cosmadakis, and M. Yannakakis. On Datalog vs. polynomial time. In Tenth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 13–25, 1991.

3. L. Cabibbo. On the power of stratified logic programs with value invention for expressing database transformations. In ICDT'95 (Fifth International Conference on Data Base Theory), Prague, Lecture Notes in Computer Science 893, pages 208–221, 1995.

4. L. Cabibbo. The expressive power of stratified logic programs with value invention. Technical Report n. RT-INF-11-1996, Dipartimento di Discipline Scientifiche, Università degli Studi di Roma Tre, 1996. Submitted to Information and Computation.

5. L. Cabibbo. Querying and Updating Complex-Object Databases. PhD thesis, Università degli Studi di Roma “La Sapienza”, 1996.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. External sources of knowledge and value invention in logic programming;Annals of Mathematics and Artificial Intelligence;2007-07-27

2. Decidable Fragments of Logic Programming with Value Invention;Logics in Artificial Intelligence;2006

3. Using the properties of datalog to prove termination and confluence in active databases;Lecture Notes in Computer Science;1997