Sciweavers

1497 search results - page 56 / 300
» Constraint Databases: A Survey
Sort
View
DKE
2010
167views more  DKE 2010»
14 years 9 months ago
The consistency extractor system: Answer set programs for consistent query answering in databases
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
Mónica Caniupán Marileo, Leopoldo E....
VLDB
1987
ACM
86views Database» more  VLDB 1987»
15 years 1 months ago
Independent Database Schemes under Functional and Inclusion Dependencies
In a context considering in a unique framework all the relations in a database, by means of the notion of global consistency, independent database schemes allow enforcement of con...
Paolo Atzeni, Edward P. F. Chan
FMCO
2006
Springer
15 years 1 months ago
On Recursion, Replication and Scope Mechanisms in Process Calculi
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
Jesús Aranda, Cinzia Di Giusto, Catuscia Pa...
CORR
2010
Springer
66views Education» more  CORR 2010»
14 years 9 months ago
A Partial Taxonomy of Substitutability and Interchangeability
Substitutability, interchangeability and related concepts in Constraint Programming were introduced approximately twenty years ago and have given rise to considerable subsequent re...
Shant Karakashian, Robert J. Woodward, Berthe Y. C...
DEXA
1993
Springer
86views Database» more  DEXA 1993»
15 years 1 months ago
Object-oriented Database Management Systems for Construction of CASE Environments
We argue that a fully object-oriented database management system is a very suitable basis of every modern CASE environment. We describe how the features provided by an OODBMS are e...
Wolfgang Emmerich, Petr Kroha, Wilhelm Schäfe...