Carl-Alexander Wichert, Burkhard Freitag, Alfred Fent  Home/Search
Context Related
| daisy.fmi.unipassau.de/publ...paper.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: daisy.fmi.unipassau.d...contents (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 quanti cation over updates. We give a complete de nition of the syntax and semantics of the ULTRA language based on concepts of logic databases. A natural candidate for an instantiation of the ULTRA framework is a database update language which we discuss in this paper... (Update)
Context of citations to this paper: More
...to just show the basic principles of the update language. A more practical example for the logic database language can be found in [WFF00b] in the form of a calendar management example. # 10 For the development of isolation concepts we have to take into account the retrieval...
.... In this paper, we describe how the building blocks of workflows can be expressed in the rule based update language ULTRA [2, 5]. It turns out that these building blocks have counterparts in the rule language that are easy and natural to specify. The ideas presented...
Cited by: More
A Logical Framework for the Specification of Transactions - Extended Version.. (Correct)
Design for Change: Evolving Workflow Specifications in.. - Fent, Reiter, Freitag (2001) (Correct)
ULTRAflow - A Lightweight Workflow Management System - Fent, Freitag (2001) (Correct)
Similar documents (at the sentence level):
10.2%: Logical Transactions and Serializability - Wichert, Freitag, Fent (1998) (Correct)
Active bibliography (related documents): More All
0.9: How to Execute ULTRA Transactions (Extended Abstract) - Wichert, Fent, Freitag (1998) (Correct)
0.7: How to Execute ULTRA Transactions - Wichert, Fent, Freitag (1998) (Correct)
0.6: A Logical Approach to Cooperative Information Systems - Bertino, Catania.. (1998) (Correct)
Similar documents based on text: More All
0.5: Logical Update Queries as Open Nested Transactions - Fent, Wichert, Freitag (2000) (Correct)
0.5: On the Compositionality and Transactional Execution of Electronic .. - Wichert (2000) (Correct)
0.4: On the Compositionality and Transactional - Execution Of Electronic (Correct)
Related documents from co-citation: More All
4: Logical update queries as open nested transactions - Fent, Wichert et al. - 2000
3: ULTRA -- A logic transaction programming language (context) - Wichert - 2000
3: Principles of Transaction Processing (context) - Bernstein, Newcomer - 1997
BibTeX entry: (Update)
C. A. Wichert, B. Freitag, and A. Fent. A logical framework for the specification of transactions. Technical Report MIP-0002, Universitt Passau (FMI), 2000. Available in the WWW: http://daisy.fmi.uni-passau.de/papers/. http://citeseer.ist.psu.edu/article/wichert00logical.html More
@misc{ wichert00logical,
author = "C. Wichert and B. Freitag and A. Fent",
title = "A logical framework for the specification of transactions",
text = "C. A. Wichert, B. Freitag, and A. Fent. A logical framework for the specification
of transactions. Technical Report MIP-0002, Universitt Passau (FMI), 2000.
Available in the WWW: http://daisy.fmi.uni-passau.de/papers/.",
year = "2000",
url = "citeseer.ist.psu.edu/article/wichert00logical.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
1209 Concurrency Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987
901 Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988
312 The well-founded semantics for general logic programs - van Gelder, Ross et al. - 1991
269 GOLOG: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
221 Nested Transactions: An Approach to Reliable Distributed Com.. (context) - Moss - 1985
180 Logic programming and negation: A survey - Apt, Bol - 1994
150 Report on the functional programming language Haskell (context) - Jones, Wadler et al. - 1992
143 Logics of programs (context) - Kozen, Tiuryn - 1990
131 Modeling concurrency with partial orders (context) - Pratt - 1986
124 Monads for functional programming - Wadler - 1995
109 Database updates through abduction (context) - Kakas, Mancarella - 1990
106 A Guide to the SQL Standard (context) - Date, Darwen - 1997
77 Temporal logic programming (context) - Abadi, Manna - 1989
73 Theoretical Computer Science (context) - Bonner, Kifer et al. - 1994
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
60 On specifying database updates - Reiter - 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
57 Intensional updates: Abduction via deduction (context) - Bry - 1990
47 Concurrency and communication in Transaction Logic - Bonner, Kifer - 1996
46 Journal of Logic Programming (context) - Beeri, Ramakrishnan et al. - 1991
41 Procedural and declarative database update languages (context) - Abiteboul, Vianu - 1988
41 Principles of Transaction Processing (context) - Bernstein, Newcomer - 1997
30 Database updates in logic programming (context) - Naqvi, Krishnamurthy - 1988
28 The well-founded semantics of aggregation (context) - van Gelder - 1992
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
20 A logical framework for active rules (context) - Lud, Hamann et al. - 1995
17 Capturing database dynamics by deferred updates - Wichert, Freitag - 1997
17 Capturing database dynamics by deferred updates - Wichert, Freitag - 1997
16 IEEE Transactions on Knowledge and Data Engineering (context) - Chen, logical et al. - 1997
14 Declarative updates of relational databases (context) - Chen - 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
8 The alternating xpoint of logic programs with negation (context) - van Gelder - 1989
7 Logical update queries as open nested transactions - Fent, Wichert et al. - 2000
7 Logical transactions and serializability - Wichert, Freitag et al. - 1998
7 The deductive database system LOLA (context) - Zukowski, Freitag - 1997
5 The state of change: A survey - Bonner, Kifer - 1998
5 Concurrent database updates in PROLOG (context) - Naish, Thom et al. - 1987
5 Update rules in Datalog programs (context) - Ferrari, Laurent et al. - 1998
4 A transaction concept for deductive databases (context) - Cronau - 1990
4 XSB: A system for eciently computing well-founded semantics (context) - Rao, Sagonas et al. - 1997
4 How to execute ULTRA transactions - Wichert, Fent et al. - 1998
4 Results on reasoning about updates in Transaction Logic - Bonner, Kifer - 1998
3 Nested transactions in a logical language for active rules (context) - Lud, May et al. - 1996
1 Available in the WWW: http://daisy (context) - Wichert, Freitag et al. - 1998
1 Dynamic Database Logic: the rst-order case (context) - Spruit, Wieringa et al. - 1993
1 Towards an ecient evaluation of recursive aggregates in dedu.. (context) - Lefebvre - 1994
1 Heraclitus: Elevating deltas to be rst-class citizens in a d.. (context) - Ghandeharizadeh, Hull et al. - 1996
1 the unication of active databases and deductive databases (context) - Zaniolo - 1993
Documents on the same site (http://daisy.fmi.uni-passau.de/publications/contents.html): More
The Differential Fixpoint of General Logic Programs - Zukowski, Freitag (1996) (Correct)
Extending Deductive Database Languages by Embedded Implications - Freitag (1992) (Correct)
Representing Objects as Modules in Deductive Databases - Freitag (1994) (Correct)
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