-
2
-
-
0032640897
-
Consistent query answers in inconsistent databases
-
ACM Press
-
Arenas, M., Bertossi, L. and Chomicki, J. Consistent Query Answers in Inconsistent Databases. In Proc. ACM Symposium on Principles of Database Systems (PODS 99), ACM Press, 1999, pp. 68-79.
-
(1999)
Proc. ACM Symposium on Principles of Database Systems (PODS 99)
, pp. 68-79
-
-
Arenas, M.1
Bertossi, L.2
Chomicki, J.3
-
3
-
-
0345393818
-
Answer sets for consistent query answers
-
Arenas, M., Bertossi, L. and Chomicki, J. Answer Sets for Consistent Query Answers. Theory and Practice of Logic Programming, 2003, 3(4-5):393-424.
-
(2003)
Theory and Practice of Logic Programming
, vol.3
, Issue.4-5
, pp. 393-424
-
-
Arenas, M.1
Bertossi, L.2
Chomicki, J.3
-
4
-
-
0022745134
-
Functional dependencies and constraints on null values in database relations
-
Atzeni, P. and Morfuni, N. Functional Dependencies and Constraints on Null Values in Database Relations. Information and Control, 1986, 70(1):1-31.
-
(1986)
Information and Control
, vol.70
, Issue.1
, pp. 1-31
-
-
Atzeni, P.1
Morfuni, N.2
-
6
-
-
0347492130
-
Characterizing and computing semantically correct answers from databases with annotated logic and answer sets
-
Springer LNCS 2582
-
Barcelo, P., Bertossi, L. and Bravo, L. Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets. In Semantics of Databases, Springer LNCS 2582, 2003, pp. 1-27.
-
(2003)
Semantics of Databases
, pp. 1-27
-
-
Barcelo, P.1
Bertossi, L.2
Bravo, L.3
-
9
-
-
36849078856
-
Consistent query answers in virtual data integration systems
-
Springer LNCS 3300, State of the Art Survey Series
-
Bertossi, L. and Bravo, L. Consistent Query Answers in Virtual Data Integration Systems. In Inconsistency Tolerance, Springer LNCS 3300, State of the Art Survey Series, 2004, pp. 42-83.
-
(2004)
Inconsistency Tolerance
, pp. 42-83
-
-
Bertossi, L.1
Bravo, L.2
-
11
-
-
1142299764
-
On the decidability and complexity of query answering over inconsistent and incomplete databases
-
ACM Press
-
Cali, A., Lembo, D. and Rosati, R. On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases. In Proc. ACM Symposium on Principles of Database Systems (PODS 03), ACM Press, 2003, pp. 260-271.
-
(2003)
Proc. ACM Symposium on Principles of Database Systems (PODS 03)
, pp. 260-271
-
-
Cali, A.1
Lembo, D.2
Rosati, R.3
-
13
-
-
84867806162
-
Querying inconsistent databases: Algorithms and implementation
-
Springer LNCS 1861
-
Celle, A. and Bertossi, L. Querying Inconsistent Databases: Algorithms and Implementation. In Computational Logic, Springer LNCS 1861, 2000, pp. 942-956.
-
(2000)
Computational Logic
, pp. 942-956
-
-
Celle, A.1
Bertossi, L.2
-
14
-
-
18744400818
-
Computing consistent query answers using conflict hypergraphs
-
ACM Press
-
Chomicki, J., Maxcinkowski, J. and Staworko, S. Computing Consistent Query Answers Using Conflict Hypergraphs. In Proc. ACM International Conference on Information and Knowledge Management, ACM Press, 2004, pp. 417-426.
-
(2004)
Proc. ACM International Conference on Information and Knowledge Management
, pp. 417-426
-
-
Chomicki, J.1
Maxcinkowski, J.2
Staworko, S.3
-
15
-
-
14744293228
-
Minimal-change integrity maintenance using tuple deletions
-
Chomicki, J. and Marcinkowski, J. Minimal-Change Integrity Maintenance using Tuple Deletions. Information and Computation, 2005, 197(1-2):90-121.
-
(2005)
Information and Computation
, vol.197
, Issue.1-2
, pp. 90-121
-
-
Chomicki, J.1
Marcinkowski, J.2
-
16
-
-
0038062314
-
Complexity and expressive power of logic programming
-
Dantsin, E., Eiter, T., Gottlob, G. and Voronkov, A. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, 2001, 33(3): 374-425.
-
(2001)
ACM Computing Surveys
, vol.33
, Issue.3
, pp. 374-425
-
-
Dantsin, E.1
Eiter, T.2
Gottlob, G.3
Voronkov, A.4
-
17
-
-
29844448776
-
ConQuer: Efficient management of inconsistent databases
-
ACM Press
-
Fuxman, A., Fazli, E. and Miller, R.J. ConQuer: Efficient Management of Inconsistent Databases, In Proc. ACM International Conference on Management of Data (SIGMOD 05), ACM Press, 2005, pp. 155-166.
-
(2005)
Proc. ACM International Conference on Management of Data (SIGMOD 05)
, pp. 155-166
-
-
Fuxman, A.1
Fazli, E.2
Miller, R.J.3
-
18
-
-
77951505493
-
Classical negation in logic programs and disjunctive databases
-
Gelfond, M. and Lifschitz, V. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 1991, 9:365-385.
-
(1991)
New Generation Computing
, vol.9
, pp. 365-385
-
-
Gelfond, M.1
Lifschitz, V.2
-
20
-
-
0242662172
-
A logical framework for querying and repairing inconsistent databases
-
Greco, G., Greco, S. and Zumpano, E. A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE Transactions in Knowledge and Data Engineering, 2003, 15(6):1389-1408.
-
(2003)
IEEE Transactions in Knowledge and Data Engineering
, vol.15
, Issue.6
, pp. 1389-1408
-
-
Greco, G.1
Greco, S.2
Zumpano, E.3
-
21
-
-
0021513522
-
Incomplete information in relational databases
-
Imielinski, T. and Lipski, W. Incomplete Information in Relational Databases. Journal of the ACM, 1984, 31(4):761-791.
-
(1984)
Journal of the ACM
, vol.31
, Issue.4
, pp. 761-791
-
-
Imielinski, T.1
Lipski, W.2
-
24
-
-
1242285342
-
The DLV system for knowledge representation and reasoning
-
To appear in
-
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S. and Scarcello, F. The DLV System for Knowledge Representation and Reasoning. To appear in ACM Transactions on Computational Logic.
-
ACM Transactions on Computational Logic
-
-
Leone, N.1
Pfeifer, G.2
Faber, W.3
Eiter, T.4
Gottlob, G.5
Perri, S.6
Scarcello, F.7
-
25
-
-
0002071491
-
Null inclusion dependencies in relational databases
-
Levene, M. and Loizou, G. Null Inclusion Dependencies in Relational Databases. Information and Computation, 1997, 136(2):67-108.
-
(1997)
Information and Computation
, vol.136
, Issue.2
, pp. 67-108
-
-
Levene, M.1
Loizou, G.2
-
27
-
-
33845272346
-
A semantics-based approach to design of query languages for partial information
-
Springer LNCS 1358
-
Libkin, L. A Semantics-based Approach to Design of Query Languages for Partial Information. In Semantics in Databases, Springer LNCS 1358, 1998, pp. 170-208.
-
(1998)
Semantics in Databases
, pp. 170-208
-
-
Libkin, L.1
-
28
-
-
84976830370
-
On the equivalence of database models
-
Lien, E. On the Equivalence of Database Models. Journal of the ACM, 1982, 29(2):333-362.
-
(1982)
Journal of the ACM
, vol.29
, Issue.2
, pp. 333-362
-
-
Lien, E.1
-
29
-
-
0002363758
-
Towards a logical reconstruction of relational database theory
-
M.L. Brodie, J. Mylopoulos, J.W. Schmidt (eds.), Springer
-
Reiter, R. Towards a Logical Reconstruction of Relational Database Theory. In On Conceptual Modelling, M.L. Brodie, J. Mylopoulos, J.W. Schmidt (eds.), Springer, 1984, pp. 191-233.
-
(1984)
On Conceptual Modelling
, pp. 191-233
-
-
Reiter, R.1
-
30
-
-
0022698710
-
A sound and sometimes complete query evaluation algorithm for relational databases with null values
-
Reiter, R. A Sound and Sometimes Complete Query Evaluation Algorithm for Relational Databases with Null Values. Journal of the ACM, 1986, 33(2):349-370.
-
(1986)
Journal of the ACM
, vol.33
, Issue.2
, pp. 349-370
-
-
Reiter, R.1
-
31
-
-
0035661448
-
Semantic integrity support in SQL:1999 and commercial (object-) relational database management systems
-
Türker, C. and Gertz, M. Semantic Integrity Support in SQL:1999 and Commercial (Object-) Relational Database Management Systems. The VLDB Journal, 2001, 10(4):241-269.
-
(2001)
The VLDB Journal
, vol.10
, Issue.4
, pp. 241-269
-
-
Türker, C.1
Gertz, M.2
|