Abstract
We provide a logic-based semantics for active database rules under the immediately-after, tuple-level activation policy of SQL3. This result allows us to characterize and analyze the behavior of complex rule systems using the declarative framework of stable models, and to lay the theoretical foundation for a very desirable integration of active databases and deductive databases.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
M. Baudinet, J. Chomicki, and P. Wolper. Temporal Deductive Databases, in Tansel et al (eds), pp. 294–320, Temporal Databases: Theory, Design, and Implementation, Benjamin/Cummings, 1994.
A. Bonner and M. Kifer. An Overview of Transaction Logic.Theoretical Computer Science 133, 1994.
D. B. Kemp, K. Ramamohanarao, P. J. Stuckey, and the “ESL-programs and the efficient evaluation of nonstratified programs by transformation to ESL”," In Procs., International Conference on Deductive and Object-Oriented Databases, DOOD'95, pp. 91–100, Springer-Verlag, 1995.
M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R.A. Kowalski and K. Bowen, editors, Logic programming: Proceedings of the fifth Ini'l Conf. and Symposium, pp. 1070–1080, 1988.
G. Phipps, M. A. Derr, and K. A. Ross. Glue-Nail!: A Deductive Database System. In Proceedings International ACM SIGMOD Conference on Management of Data, pp. 308–317, 1991.
A. Van Gelder, K. A. Ross, and J. S. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of ACM 38:620–650, 1991.
F. Giannotti, D. Pedreschi, D. Saccà, and C. Zaniolo. Non-Determinism in Deductive Databases. In C. Delobel, M. Kifer, and Y. Masunaga (eds.), Proceedings Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, pp. 129–146, Springer-Verlag, 1991.
B. Lud/ascher, W. May and G. Lausen, Nested Transactions in a Logical Language for Active Rules, Procs. of Logic in Databases (LID'96) Workshop, D. Pedreschi and C. Zaniolo (Eds.), Springer, 1996.
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, and James Harland. The Aditi deductive database system. VLDB Journal, 3:245–288, 1994.
R. Ramakrishnan, D. Srivastava, S. Sudanshan, and P. Seshadri. Implementation of the CORAL Deductive Database System. In Proceedings of the International ACM SIGMOD Conference on Management of Data, pp. 167–176, 1993.
K. A. Ross. Modular Stratification and Magic Sets for Datalog Programs with Negation. Journal of ACM 41(6):1216–1266, 1994.
C. Zaniolo, N. Arni, and K. Ong, Negation and aggregates in recursive rules: the, LDL++ approach In Procs., International Conference on Deductive and Object-Oriented Databases, DOOD'93, pp. 204–221 1993.
Carlo Zaniolo, Active Database Rules with Transaction-Conscious Stable-Model Semantics In Procs., International Conference on Deductive and Object-Oriented Databases, DOOD'95, pp. 55–72 Springer 1995.
C. Zaniolo, S. Ceri, C. Faloutsos, R. Snodgrass, V.S. Subrahmanian, and R. Zicari, Advanced Database Systems, Morgan Kaufmann, 1997.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zaniolo, C. (1997). The nonmonotonic semantics of active rules in deductive databases. In: Bry, F., Ramakrishnan, R., Ramamohanarao, K. (eds) Deductive and Object-Oriented Databases. DOOD 1997. Lecture Notes in Computer Science, vol 1341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63792-3_20
Download citation
DOI: https://doi.org/10.1007/3-540-63792-3_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63792-9
Online ISBN: 978-3-540-69647-6
eBook Packages: Springer Book Archive