127 search results - page 2 / 26 » Integrity Checking in Deductive Databases |
VLDB
1992
ACM
13 years 9 months ago
1992
ACM
Change computation is an essential component in several capabilities of a deductive database,such as integrity constraints checking, materialized view maintenanceandcondition moni...
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
FOIKS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
EDBTW
2006
Springer
13 years 7 months ago
2006
Springer
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
VLDB
1990
ACM
13 years 9 months ago
1990
ACM
: The problem of view updatesin deductive databasesis studiedby casting this in anaturally associatedabductive framework.It is shownthat this abductiveapproachdeals successfully, i...