Abstract
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. It has a natural model theory and a sound and complete proof theory, but, unlike many other logics, it allows users to program transactions. In addition, the semantics leads naturally to features whose amalgamation in a single logic has proved elusive in the past. Finally, Transaction Logic holds promise as a logical model of hitherto non-logical phenomena, including so-called procedural knowledge in AI, and the behavior of object-oriented databases, especially methods with side effects. This paper focuses on the applications of T r to database systems, including transaction definition and execution, nested transactions, view updates, consistency maintenance, bulk updates, non-determinism, sampling, active databases, dynamic integrity-constraints, hypothetical reasoning, and imperative-style programming.
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.
Work supported in part by an Operating Grant from the Natural Sciences and Engineering Research Council of Canada and by a Connaught Grant from the University of Toronto.
Supported in part by NSF grant CCR-9102159 and a grant from New York Science and Technology Foundation. Work done during sabbatical year at the University of Toronto. Support of Computer Systems Research Institute of University of Toronto is gratefully acknowledged.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
S. Abiteboul and A.J. Bonner. Objects and views. In ACM SIGMOD Conference on Management of Data, pages 238–247, Denver, Colorado, May 29–31 1991.
S. Abiteboul and V. Vianu. Procedural and declarative database update languages. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pages 240–250, 1988.
R. Agrawal, R. Cochrane, and B. Lindsay. On maintaining priorities in a production rule system. In Intl. Conference on Very Large Data Bases (VLDB), pages 479–487, 1991.
J.F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23: 123–154, July 1984.
F. Bancilhon. A logic-programming/Object-oriented cocktail. SIGMOD Record, 15 (3): 11–21, September 1986.
T. Barsalou, N. Siambela, A.M. Keller, and G. Wiederhold. Updating relational databases through object-based views. In ACM SIGMOD Conference on Management of Data, pages 248–257, Denver, Colorado, May 29–31 1991.
C. Beeri. New data models and languages The challenge. In ACM SIGACT-SIGMOD-SIGART Symposium, on Principles of Database Systems (PODS), pages 1–15, San Diego, CA, June 1992.
C. Beeri and T. Milo. A model for active object-oriented database. In Intl. Conference on Very Large Data Bases (VLDB), pages 337–349, 1991.
A.J. Bonner. Hypothetical datalog: Complexity and expressibility. Theoretical Computer Science, 76: 3–51, 1990.
A.J. Bonner and M. Kifer. Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-270, University of Toronto, April 1992. Revised: August 1993. Available in csri-technical-reports/270/report. ps
A.J. Bonner and M. Kifer. Transaction logic: An (early) exposé. In V.S. Alagar, L.V.S. Lakshmanan, and F. Sadri, editors, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Workshops in Computing, pages 1–23. Springer Verlag, 1993. Keynote address. Workshop held 15–16 May, 1992, Montreal, Canada.
A.J. Bonner and M. Kifer. Transaction logic programming. In Intl. Conference on Logic Programming (ICLP), Budapest, Hungary, June 1993.
F. Bry. Intensional updates: Abduction via deduction. In Intl. Conference on Logic Programming (ICLP), Jerusalem, Israel, June 1990.
A.K. Chandra and D. Harel. Computable queries for relational databases. Journal of Computer and System Sciences, 21 (2): 156–178, 1980.
A.K. Chandra and D. Harel. Structure and complexity of relational queries. Journal of Computer and System Sciences, 25 (1): 99–128, 1982.
W. Chen. Declarative specification and evaluation of database updates. In Intl. Conference on Deductive and Object-Oriented Databases (DOOD), volume 566 of Lecture Notes in Computer Science, pages 147–166. Springer Verlag, December 1991.
C. de Maindreville and E. Simon. Non-deterministic queries and updates in deductive databases. In Intl. Conference on Very Large Data Bases (VLDB), 1988.
N. Gehani and V. Jagadish. ODE as an active database: Constraints and triggers. In Intl. Conference on Very Large Data Bases (VLDB), pages 327–336, 1991.
G. Grahne and A.O. Mendelzon. Updates and subjunctive queries. Technical Report KRR-TR-91–4, CSRI, University of Toronto, July 1991.
D. Harel, D. Kozen, and R. Parikh. Process Logic: Expressiveness, decidability, completeness. Journal of Computer and System Sciences, 25 (2): 144–170, October 1982.
R. Hull and D. Jacobs. Language constructs for programming active databases. In Intl. Conference on Very Large Data Bases (VLDB), pages 455–467, 1991.
H. Katsuno and A.O. Mendelzon. On the difference between updating a knowledge database and revising it. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR), pages 387394, Boston, Mass., April 1991.
M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Technical Report 93/06, Department of Computer Science, SUNY at Stony Brook, April 1993. To appear in J. of ACM.
R. Krishnamurthy and S. Naqvi. Non-deterministic choice in datalog. In Proceedings of the 3-d Intl. Conference on Data and Knowledge Bases, pages 416–424. Morgan-Kaufmann Publ., 1988.
S. Manchanda and D.S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363–394. Morgan-Kaufmann, Los Altos, CA, 1988.
D.R. McCarthy and U. Dayal. The architecture of an active database management system. In ACM SIGMOD Conference on Management of Data, pages 215–224, 1989.
S. Naqvi and R. Krishnamurthy. Database updates in logic programming. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pages 251–262, March 1988.
G. Phipps, M.A. Derr, and K.A. Ross. Glue-Nail: A deductive database system. In ACM SIGMOD Conference on Management of Data, pages 308–317, 1991.
T.C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193–216. Morgan Kaufmann, Los Altos, CA, 1988.
D. Sacca and C. Zaniolo. Stable models and non-determinism in logic programs with negation. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pages 205–217, April 1990.
M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules, procedures, caching and views in data base systems. In ACM SIGMOD Conference on Management of Data, pages 281–290, 1990.
J. Widom. A denotational semantics for the starbust production rule language. ACM SIGMOD Record, 21 (3): 4–9, 1992.
J. Widom, R.J. Cochrane, and B.G. Lindsay. Implementing set-oriented production rules as an extension to starbust. In Intl. Conference on Very Large Data Bases (VLDB), pages 275–285, 1991.
J. Widom and S.J. Finkelstein. Set-oriented production rules in relational database systems. In ACM SIGMOD Conference on Management of Data, pages 259–270, 1990.
M. Winslett. A model based approach to updating databases with incomplete information. ACM Transactions on Database Systems,13(2):167196,1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bonner, A.J., Kifer, M., Consens, M. (1994). Database Programming in Transaction Logic. In: Beeri, C., Ohori, A., Shasha, D.E. (eds) Database Programming Languages (DBPL-4). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3564-7_18
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3564-7_18
Publisher Name: Springer, London
Print ISBN: 978-3-540-19853-6
Online ISBN: 978-1-4471-3564-7
eBook Packages: Springer Book Archive