Sciweavers

33 search results - page 1 / 7
» Active Database Rules with Transaction-Conscious Stable-Mode...
Sort
View
DOOD
1995
Springer
102views Database» more  DOOD 1995»
13 years 8 months ago
Active Database Rules with Transaction-Conscious Stable-Model Semantics
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
Carlo Zaniolo
DEDUCTIVE
1994
122views Database» more  DEDUCTIVE 1994»
13 years 6 months ago
A Simple Model for Active Rules and their Behavior in Deductive Databases
Recent advances in non-monotonic semantics of deductive databases provide a simple framework for modeling the even-condition-action rules of active databases. This approach unifie...
Carlo Zaniolo, Reza Sadri
SCCC
2005
IEEE
13 years 10 months ago
Optimizing repair programs for consistent query answering
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
Mónica Caniupán Marileo, Leopoldo E....
DBPL
2003
Springer
120views Database» more  DBPL 2003»
13 years 10 months ago
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
Iluju Kiringa, Raymond Reiter
ASP
2001
Springer
13 years 9 months ago
Useful Transformations in Answer set programming
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
Mauricio Osorio, Juan Carlos Nieves, Chris Giannel...