Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic in Databases: International Workshop LID ' 96, San Miniato, Italy, July 1 - 2, 1996. Proceedings > Nested transactions in a logical language for active rules
Logic in Databases: International Workshop LID ' 96, San Miniato, Italy, July 1 - 2, 1996. Proceedings |
Dino Pedreschi; Carlo Zaniolo
Springer Berlin Heidelberg
Logic in Databases: International Workshop LID ' 96, San Miniato, Italy, July 1 - 2, 1996. Proceedings
Nested transactions in a logical language for active rules
Authors

Bertram Ludäscher; Wolfgang May; Georg Lausen

ARI Id

1664760651409_3106028

Access

Not Available Free

Pages

197-222

DOI

10.1007/BFb0031742

Chapter URL

https://rd.springer.com/chapter/10.1007/BFb0031742

Table of Contents of Book
Showing 1 to 20 of 26 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Logic and databases: A 20 year retrospective
Jack Minker
1-57
A parametric approach to deductive databases with uncertainty
Laks V. S. Lakshmanan; Nematollaah Shiri
59-81
A deductive database approach to planning in uncertain environments
V. S. Subrahmanian; Charlie Ward
83-98
Termination properties of spatial Datalog programs
Bart Kuijpers; Jan Paredaens; Marc Smits; Jan Van den Bussche
99-116
Applying transition rules to bitemporal deductive databases for integrity constraint checking
Carme Martín; Jaume Sistac
117-134
Towards a unified agent architecture that combines rationality with reactivity
Robert Kowalski; Fariba Sadri
135-149
Learning query rules for optimizing databases with update rules
D. Laurent; Ch. Vrain
151-172
Formal characterization of active databases
Chitta Baral; Jorge Lobo
173-195
Nested transactions in a logical language for active rules
Bertram Ludäscher; Wolfgang May; Georg Lausen
197-222
Deductive Databases: Challenges, opportunities and future directions
Arno Siebes; Shalom Tsur; Jeff Ullman; Laurent Vieille; Carlo Zaniolo
223-229
R-stable models for logic programs
H. Jakobovits; D. Vermeir
231-243
The expressive power of partial models for disjunctive deductive databases
T. Eiter; N. Leone; D. Saccà
245-264
Stable model checking for disjunctive logic programs
N. Leone; P. Rullo; F. Scarcello
265-278
Analysis of logic-based systems
Dmitri Boulanger
279-301
An axiomatic interpretation of confidentiality demands in logic-based relational databases
Adrian Spalka; Armin B. Cremers
303-319
Database query evaluation with the STARBASE method
Estrella Pulido
321-342
The limits of fixed-order computation
Konstantinos Sagonas; Terrance Swift; David S. Warren
343-363
The \(\mathcal{I}\mathcal{Q}\) system: A deductive database Information Lens for reasoning about textual information
Bob Kero; Shalom Tsur
365-385
Arithmetic and aggregate operators in deductive object-oriented databases
Gillian Dobbie; Rodney Topor
387-397
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 26 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings