Loading...
Loading...

Go to the content (press return)

A Formal method for the synthesis of update transactions in deductive databases without existential rules

Author
Pastor, J.
Type of activity
Report
Date
1994-04
Code
LSI-94-22-R
Repository
http://hdl.handle.net/2117/96722 Open in new window
Abstract
We propose a new method for generating consistency-preserving transaction programs for (view-)updates in deductive databases. The method augments the deductive database schema with a set of transition and internal event rules, which explicitly define the database dynamic behaviour in front of an update. At transaction-design-time, a formal procedure can use these rules to automatically generate parameterised transaction programs for base or view-update transaction requests. This is done in such ...
Citation
Pastor, J. "A Formal method for the synthesis of update transactions in deductive databases without existential rules". 1994.
Keywords
Consistency-preserving transaction programs, Deductive databases, Formal procedure, Meta-programming, Prolog
Group of research
IMP - Information Modelling and Processing

Participants

Attachments