oDOBS - Author page: Burkhard Freitag
lupus.cs.uni-dortmund.de
Alfred FENT, Carl-Alexander WICHERT, Burkhard FREITAG: Logical Update Queries as Open Nested Transactions. 34: EE: Alfred FENT, Carl-Alexander WICHERT, Burkhard FREITAG: Logical ...
Transactions and Database Dynamics: 8th International Workshop on ...books.google.com › books
books.google.de
Logical Update Queries as Open Nested Transactions Alfred Fent, Carl-Alexander Wichert, and Burkhard Freitag Universität Passau, Fakultät für Mathematik ...
Logical transactions and serializability - Carl-Alexander Wichert ...
books.google.de
Authors, Carl-Alexander Wichert, Burkhard Freitag, Alfred Fent. Publisher, Univ., Fak. für Mathematik und Informatik, Length, 47 pages. Authors, Carl-Alexander Wichert, Alfred Fent, Burkhard Freitag. Publisher, Univ., Fak. für Mathematik und Informatik, Length, 23 pages. › about
Visual Library .NET - Die Suchmaschine für wissenschaftliche...
www.visuallibrary.net
Autor(en), Wichert, Carl-Alexander. Titel, Logical transactions and serializability. Auflage, [Electronic edition]. Vorlageform, Carl-Alexander Wichert; Burkhard ...
Fent, Alfred [WorldCat Identities]
www.worldcat.org
Most widely held works by Alfred Fent. A logical framework for the specification of transactions by Carl-Alexander Wichert( Book ) 6 editions published between ...
[PDF] Etude de la programmation logico-fonctionnelle concurrentetheses.hal.science › tel › document
theses.hal.science
· ... Alfred Fent. Logical trans- actions and serializability. In Burkhard Freitag, Hendrik Decker, Michael Kifer and. Andrei Voronkov, editors ...
DBLPhttps://dblp.org › PersonsCarl-Alexander Wichert
dblp.org
https://dblp.org/rec/conf/fmldo/FentWF99a · Alfred Fent, Carl-Alexander Wichert, Burkhard Freitag: Logical Update Queries as Open Nested Transactions. FMLDO ...
Search results for "Transactions and Change in Logic Databases" –...
dblp.l3s.de
1, Carl-Alexander Wichert, Burkhard Freitag, Alfred Fent · Logical Transactions and Serializability. Search on Bibsonomy · Transactions and Change in Logic ...
oDOBS - Publication page: Transactions and Database Dynamics, Eight ...
lupus.cs.uni-dortmund.de
Alfred FENT, Carl-Alexander WICHERT, Burkhard FREITAG: Logical Update Queries as Open Nested Transactions. (1999) Elisa BERTINO, Giovanna GUERRINI, Danilo MONTESI: Inheritance ...
WorldCat
search.worldcat.org
Logical transactions and serializability / Carl-Alexander Wichert, Burkhard Freitag, Alfred Fent. Results on reasoning about updates in transaction logic ...
Logical Update Queries as Open Nested Transactions | SpringerLink
link.springer.com
The rule-based update language ULTRA has been designed for the specification of complex database updates in a modular fashion. The logical semantics of update...
A Logical Framework for the Specification of Transactionswww.researchgate.net › publication › _A_...
www.researchgate.net
A logical framework for the specification of transactions (extended version). July Carl-alexander Wichert · Alfred Fent · Burkhard Freitag.
Alle Infos zum Namen "Alfred Fent"
8th International Workshop on Foundations of Models EPDF
epdf.mx
Logical Update Queries as Open Nested Transactions Alfred Fent, Carl-Alexander Wichert, and Burkhard Freitag Universit¨ at Passau, Fakult¨ at f¨ ur ... › ...
Entry Wichert:1998:LTS from lncs1998b.bibftp.math.utah.edu › pub › tex › bib › idx
ftp.math.utah.edu
BibTeX entry. @Article{Wichert:1998:LTS, author = "Carl-Alexander Wichert and Burkhard Freitag and Alfred Fent", title = "Logical Transactions and ...
BibTeX bibliography lncs1998b.bib - Index of files in /
ftp.math.utah.edu
... @Article{Wichert:1998:LTS, author = "Carl-Alexander Wichert and Burkhard Freitag and Alfred Fent", title = "Logical Transactions and Serializability", ... › pub › tex › bib
SCEASsceas.csd.auth.gr › php › conferences
sceas.csd.auth.gr
Alfred Fent, Carl-Alexander Wichert, Burkhard Freitag Logical Update Queries as Open Nested Transactions. [Citation Graph (0, 0)][DBLP] FMLDO - Selected ...
Jahresbibliographie für das Jahr AZSLIDE.COM
azslide.com
Logical update queries as open nested transactions / Alfred Fent, Carl-. Alexander Wichert, Burkhard Freitag. In: Transactions and database dynamics ... › ...
Jahresbibliographie für das Jahr PDF Kostenfreier Download
docplayer.org
Passau, S. - (Universität <Passau> / Fakultät für Mathematik und Informatik: MIP ; 98,07) Logical transactions and serializability / Carl-Alexander Wichert, Burkhard Freitag, and Alfred Fent. In: Transactions and change in logic databases : Internat. Seminar on Logic Databases and the Meaning of Change, Schloß Dagstuhl, ...
FMLDO - researchr conference series publications
researchr.org
Logical Update Queries as Open Nested TransactionsAlfred Fent, Carl-Alexander Wichert, Burkhard Freitag. fmldo 1999: Logical Update Queries as ...
Logical Transactions and Serializability | Semantic Scholar
www.semanticscholar.org
The isolation property of transactions has been poorly addressed in the context of logic update languages, although it is an important problem even for...
Verwandte Suchanfragen zu Alfred Fent
Herbert Reiter Burkhard Freitag Chase County | Klaus Schießl Holger Mast Christine Lindenmuth |
Personen Vorname "Alfred" (22865) Name "Fent" (107) |
sortiert nach Relevanz / Datum