Sciweavers

1193 search results - page 9 / 239
» Database Query Languages and Functional Logic Programming
Sort
View
SCCC
2005
IEEE
15 years 3 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....
56
Voted
ER
2007
Springer
126views Database» more  ER 2007»
15 years 3 months ago
Querying Incomplete Data with Logic Programs: ER Strikes Back
Andrea Calì
DAGSTUHL
2003
14 years 11 months ago
Query Answering in Inconsistent Databases
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
Leopoldo E. Bertossi, Jan Chomicki
ICDE
2008
IEEE
176views Database» more  ICDE 2008»
15 years 11 months ago
Automatic Result Verification for the Functional Testing of a Query Language
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...
Carsten Binnig, Donald Kossmann, Eric Lo, Angel Sa...
POPL
1997
ACM
15 years 1 months ago
A Unified Computation Model for Functional and Logic Programming
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
Michael Hanus