(Extended Version) Carl-Alexander Wichert msg systeme gmbh, Dr....  Home/Search
Context
Related
| fmi.unipassau.de/forschu...MIP0102.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fmi.unipassau.de/fors...MIP0102 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper a logical framework called ULTRA is presented that can serve as the basis for a variety of update languages, among others extensions of the database language SQL, accommodating nested update queries and universal quantification over updates. We give a complete definition of the syntax and semantics of the ULTRA language based on concepts of logic databases. (Update)
Similar documents (at the sentence level): More
18.1%: A Logical Framework for the Specification of Transactions - Wichert, Freitag, Fent (2000) (Correct)
9.0%: On the Compositionality and Transactional - Execution Of Electronic (Correct)
8.5%: On the Compositionality and Transactional Execution of Electronic .. - Wichert (2000) (Correct)
Active bibliography (related documents): More All
1.0: Design for Change: Evolving Workflow Specifications in.. - Fent, Reiter, Freitag (2001) (Correct)
0.6: How to Execute ULTRA Transactions - Wichert, Fent, Freitag (1998) (Correct)
0.5: How to Execute ULTRA Transactions (Extended Abstract) - Wichert, Fent, Freitag (1998) (Correct)
Similar documents based on text: More All
0.1: Logical Update Queries as Open Nested Transactions - Fent, Wichert, Freitag (2000) (Correct)
0.1: Signed Unique References - A BAKO Extension Proposal - Glöckner, Kolletzki, Wichert (Correct)
0.1: Non-repudiation Evidence Generation for CORBA using XML - Wichert, Ingham, Caughey (1999) (Correct)
BibTeX entry: (Update)
@misc{ carl-alexander-logical,
author = "Extended Version Carl-Alexander",
title = "A Logical Framework for the Specification of Transactions",
url = "citeseer.ist.psu.edu/678408.html" }
Citations (may not include all citations):1209 Concurrency Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987
901 Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
725 Temporal and modal logic (context) - Emerson - 1990
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
234 The well-founded semantics for general logic programs - van Gelder, Ross et al. - 1991
180 Logic programming and negation: A survey - Apt, Bol - 1994
144 Models for concurrency - Winskel, Nielsen - 1995
143 Logics of programs (context) - Kozen, Tiuryn - 1990
131 Modeling concurrency with partial orders (context) - Pratt - 1986
124 Monads for functional programming - Wadler - 1995
106 A Guide to the SQL Standard (context) - Date, Darwen - 1997
106 A formal approach to recovery by compensating transactions - Korth, Levy et al. - 1998
73 Theoretical Computer Science (context) - Bonner, Kifer et al. - 1994
72 The Formal Semantics of Programming Languages: An Introducti.. (context) - Winskel - 1993
71 Database updates in the event calculus (context) - Kowalski - 1992
70 Concepts and applications of multilevel transactions and ope.. - Weikum, Schek - 1992
62 How to declare an imperative - Wadler - 1995
59 A logic-based language for database updates (context) - Manchanda, Warren - 1988
58 A model for concurrency in nested transaction systems (context) - Beeri, Bernstein et al. - 1989
58 The alternating fixpoint of logic programs with negation (context) - van Gelder - 1989
47 Concurrency and communication in Transaction Logic - Bonner, Kifer - 1996
46 Journal of Logic Programming (context) - Beeri, Ramakrishnan et al. - 1991
41 Principles of Transaction Processing (context) - Bernstein, Newcomer - 1997
39 Nested Transactions: An Approach to Reliable Distributed Com.. - Moss - 1985
31 Independence of logic database queries and updates (context) - Elkan - 1990
27 Computing with Logic: Logic programming with Prolog (context) - Maier, Warren - 1988
24 IEEE Transactions on Knowledge and Data Engineering (context) - Montesi, Bertino et al. - 1997
21 Heraclitus: Elevating deltas to be first-class citizens in a.. - Ghandeharizadeh, Hull et al. - 1996
20 Information technology -- Database languages -- SQL (context) - IEC - 1999
17 Capturing database dynamics by deferred updates - Wichert, Freitag - 1997
16 IEEE Transactions on Knowledge and Data Engineering (context) - Chen, logical et al. - 1997
15 Dynamic Database Logic: the first-order case (context) - Spruit, Wieringa et al. - 1993
14 Declarative updates of relational databases (context) - Chen - 1995
13 formerly known as SQL 3 (context) - Eisenberg, Melton - 1999
12 DATALOG queries with stratified negation and choice: from P .. - Greco, Sacc et al. - 1995
12 Database programming in Transaction Logic - Bonner, Kifer et al. - 1993
10 An optimistic locking technique for concurrency control in d.. (context) - Halici, Dogac - 1991
7 Logical transactions and serializability - Wichert, Freitag et al. - 1998
7 Logical update queries as open nested transactions - Fent, Wichert et al. - 2000
5 The state of change: A survey - Bonner, Kifer - 1998
4 A logical framework for the specification of transactions - Wichert, Freitag et al. - 2000
4 SQL standardization: The next steps (context) - Eisenberg, Melton - 2000
4 A transaction concept for deductive databases (context) - Cronau - 1990
3 ULTRAflow -- a lightweight workflow management system - Fent, Freitag - 2001
3 Report on the functional programming language Haskell (context) - Jones, Wadler et al. - 1992
3 ULTRA -- A logic transaction programming language (context) - Wichert - 2000
2 Logical specification of bulk updates and sequential updates - Wichert, Freitag - 1996
2 the compositionality and transactional execution of electron.. - Wichert, Fent et al. - 2000
1 GOLOG: A logic programming language for dynamic domains (context) - Lloyd, Logic et al. - 1997
1 XSB: A system for efficiently computing well-founded semanti.. (context) - Reiter, database et al. - 1997
http://daisy.fmi.uni-passau.de/papers/
http://daisy.fmi.uni-passau.de/papers/
http://daisy.fmi.uni-passau.de/papers/
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC