Formalising existential rule treatment in the automatic synthesis of update transactions in deductive databases
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/96963
Tipus de documentReport de recerca
Data publicació1994-07
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We propose a new method for generating for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database dynamic behaviour in front of a database 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 a way that those transactions will never take the database into an inconsistent state. In this report we extend a previous version of the method by incorporating existentially defined rules, and formalising their treatment. Within this context, synthesis outputs and processes are provided. The method, implemented in Prolog using meta-programming techniques, draws from our previous work in deductive databases, particularly in view updating and integrity constraint checking.
CitacióPastor, J. "Formalising existential rule treatment in the automatic synthesis of update transactions in deductive databases". 1994.
Forma partLSI-94-27-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400191481.pdf | 2,426Mb | Visualitza/Obre |