Nested transactions in a logical language for active rules

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

Volumn 1154, Issue , 1996, Pages 197-222

  Ludäischer, Bertram ^a   May, Wolfgang ^a   Lausen, Georg ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; DATABASE SYSTEMS; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE; SEMANTICS;

ACTIVE DATABASE SYSTEM; COMPLEX COMPUTATION; COMPLEX TRANSACTION; CONCEPTUAL MODEL; KRIPKE-STYLE SEMANTICS; NESTED TRANSACTIONS; OPERATIONAL SEMANTICS; UNIFIED FRAMEWORK;

COMPUTER CIRCUITS;

EID: 84957375770     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0031742     Document Type: Conference Paper

References (44)

1. S. Abiteboul. Updates, a new frontier. In ICDT, Springer LNCS 326, pp. 1-18, 1988.
2. M. Abadi and Z. Manna. Temporal logic programming. Journal of Symbolic Comp., 8(3), 1989.
3. S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. JCSS, 43, 1991.
4. A. Aiken, J. Widom, and J. M. Hellerstein. Behavior of database production rules: Termination, confluence, and observable determinism. In SIGMOD, 1992.
5. A. Aiken, J. Widom, and J. M. Hellerstein. Static analysis techniques for predicting the behavior of active database rules. TODS, 20(1):3-41, 1995.
6. M. Baudinet. On the expressiveness of temporal logic programming. Information and Computation, 117(2), 1995.
7. E. Baralis, S. Ceri, and S. Paraboschi. Run-time detection of nonterminating active rule systems. In Ling et al
8. A.J. Bonnet and M. Kifer. Transaction logic programming. In D. S. Warren, editor, ICLP. MIT Press, 1993.
9. A.J. Bonnet and M. Kifer. An overview of transaction logic. Theoretical Comp. Sci., 133, 1994.
10. A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modular logic programming. ACM TOPLAS, 16(4):1361-1398, July 1994.
11. A. Brogi and F. Turini. Semantics of meta-logic in an algebra of programs. In LICS, pp. 262-270, Paris, France, July 1994.
12. W. Chen. Programming with logical queries, bulk updates and hypothetical reasoning. In B. Thalheim, ed., Proc. of the Workshop Semantics in Databases, Prague, 1995.
13. TU Cottbus. J. Chomicki. Polynomial time query processing in temporal deductive databases. PODS, 1990.
14. J. Chomicki and T. Imieliński. Finite representation of infinite query answers. TODS 18(2), 1993.
15. U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, S. Sarin, M. J. Carey, M. Livny, and R. Jauhari. The HiPAC project: Combining Active Databases and Timing Constraints. In SIGMOD, 1988.
16. U. Dayal, A. Buchmann, and S. Chakravarthy. The HiPAC Project. In J. Widom and S. Ceri, editors, Active Database Systems: Triggers and Rules for Advanced Database Processing, Morgan Kaufmann, 1996.
17. K. R. Dittrich, S. Gatziu, and A. Geppert. The active database management system manifesto: A rulebase of adbms features. In Sellis
18. U. Dayal, E. Hanson, and J. Widom. Active database systems. In W. Kim, ed., Modern Database Systems: The Object Model, Interoperability, and Beyond, Ch. 21. ACM Press, 1995.
19. P. Fraternali and L. Tanca. A structured approach for the definition of the semantics of active databases. TODS, 1996. to appear
20. S. Ghandeharizadeh, R. Hull, D. Jacobs, et al On implementing a language for specifying active database execution models. In VLDB, 1993.
21. S. Ghandeharizadeh, R. Hull, and D. Jacobs. Heraclitus: Elevating deltas to be first-class citizens in a database programming language. TODS, 1996.To appear
22. U. Hamann. Ein System zur Beschreibung und Ausführung yon Änderungsoperationen in einer zustandsorientierten Erweiterung von Datalog. Master's thesis, Institut für Informatik, Universität Freiburg, 1995.
23. M. Kramer, G. Lausen, and G. Saake. Updates in a rule-based language for objects. VLDB, 1992.
24. A.P. Karadimce and S. D. Urban. Refined triggering graphs: A logic-based approach to termination analysis in an active object-oriented database. In 12th ICDE, 1996.
25. B. Ludäscher, U. Hamann, and G. Lansen. A logical framework for active rules. In Proe. 7th Intl. Conf. on Management of Data (COMAD), Ptme, 1995.Tara McGraw-Hill. ftp://ftp.informatik.uni-freiburg.de/documents/reports/ rep ort 78/report 78.ps.gz.
26. G. Lausen and B. Ludäscher. Updates by reasoning about states. In 2nd Intl. East-West Database Workshop, Workshops in Computing, Klagenfurt, Austria, 1994.Springer
27. B. Ludächer, W. May, and G. Lausen. Nested Transactions in a Logical Language for Active Rules. Technical Report 80, Institut für Informatik, Universität Freiburg, 1996.
28. T.W. Ling, A. O. Mendelzon, and L. Vieille, editors. DOOD, Springer LNCS 1013, 1995.
29. G. Lausen and G. Snake. A possible world semantics for updates by versioning. In Proc. Of 4th Workshop on Modelling Database Dynamics, Volkse, 1993.Springer
30. D. Montesi, E. Bertino, and M. Martelli. Transactions and updates in deductive databases. Technical Report 2, Dipartimento di Scienze dell'Informazione, Università di Milano, 1995.
31. S. Manchanda and D. S. Warren. A logic-based language for database updates. In J. Minker, ed., Foundations of Deductive Databases and Logic Programming, pp. 363-394. 1988.
32. I. Motakis and C. Zaniolo. Composite temporal events in active database rules: A loglc-oriented approach. In-th DOOD, LNCS 1013, 1995.
33. N. W. Paton, J. Campin, A. A. A. Fernandes, and M. H. Williams. Formal specification of active database functionality: A survey. In Sellis
34. T.C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In J. Minker, ed., Foundations of Deductive Databases and Logic Programming, pp. 191-216. Morgan Kaufmann, 1988.
35. T.K. Sellis, editor. Proe. of the 2nd Intl. Workshop on Rules in Database Systems (RIDS), Athens, Greece, 1995, Springer LNCS 985.
36. E. Simon and J. Kiernan. The a-rdl system. In Widom and Ceri [WC96], Chapter 5.
37. A. Van Gelder. The alternating fixpoint of logic programs with negation. In PODS, 1989.
38. A. Van Gelder, K. Ross, and J. Schlipf. The well-founded semantics for general logic programs. JACM, 38(3):620-650, July 1991.
39. J. Widom and S. Ceri, editors. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, 1996.
40. J. Widom. Active databases. In M. Stonebraker, ed. Readings in Database Systems, 2nd edition. Morgan Kaufmann, 1994.Introduction to Chapter 4
41. C. Zaniolo. A unified semantics for active and deductive databases. Proc. of the 1st Intl. Workshop on Rules in Database Systems (RIDS), Edinburgh, 1993. Springer
42. C. Zaniolo. Active database rules with transaction conscious stable model semantics. In Ling et al.
43. C. Zaniolo, N. Arni, and K. Ong. Negation and Aggregates in Recursive Rules: the LDL: + + Approach. In S. Ceri, K. Tanaka, and S. Tsur, eds., DOOD, Springer LNCS 760, 1993.
44. C. Zaniolo and R. Sadri. A simple model for active rules and their behavior in deductive databases. Proc. 2nd ICLP Workshop on Deductive Databases and Logic Programming, Santa Margherita Ligure, Italy, 1994.