BNCOD
1998
13 years 5 months ago
1998
Correct transformations and integrations of schemata within the process of federated database design have to encompass existing local integrity constraints. Most of the proposed me...
CLIMA
2004
13 years 5 months ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
BNCOD
2007
13 years 5 months ago
2007
While specification languages for integrity constraints for XML data have been considered in the literature, actual technologies and methodologies for checking and maintaining in...
AMW
2010
13 years 5 months ago
2010
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...
AMW
2010
13 years 5 months ago
2010
We consider incomplete specifications of XML documents in the presence of schema information and integrity constraints. We show that integrity constraints such as keys and foreign ...
APCCM
2008
13 years 5 months ago
2008
We identify established tableaux techniques as an invaluable tool for semantic knowledge acquisition in the design process of relational databases. Sample databases allow users an...
CAISE
2006
Springer
13 years 6 months ago
2006
Springer
: Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental meth...
VLDB
1991
ACM
13 years 7 months ago
1991
ACM
We propose a new method for integrity checking in deductive databases.The methodaugmentsadatabasewith asetof transition and internal eventsrules,which explicitly definetheinsertio...
ICDE
1991
IEEE
13 years 7 months ago
1991
IEEE
— Constraints play an important role in the efficient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...
PEPM
1995
ACM
13 years 7 months ago
1995
ACM
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...