ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Consistent query answers in inconsistent databases
Full text PdfPdf (1.26 MB)
Source Symposium on Principles of Database Systems archive
Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems table of contents
Philadelphia, Pennsylvania, United States
Pages: 68 - 79  
Year of Publication: 1999
ISBN:1-58113-062-7
Authors
Marcelo Arenas  Pontificia Universidad Católica de Chile, Escuela de Ingeniería, Departamento de Ciencia de Computación, Casilla 306, Santiago 22, Chile
Leopoldo Bertossi  Pontificia Universidad Católica de Chile, Escuela de Ingeniería, Departamento de Ciencia de Computación, Casilla 306, Santiago 22, Chile
Jan Chomicki  Monmouth University, Department of Computer Science, West Long Branch, NJ
Sponsors
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGMOD: ACM Special Interest Group on Management of Data
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 7,   Downloads (12 Months): 75,   Citation Count: 57
Additional Information:

references   cited by   index terms   collaborative colleagues   peer to peer  

Tools and Actions: Review this Article  
Save this Article to a Binder    Display Formats: BibTex  EndNote ACM Ref   
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/303976.303983
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
Shailesh Agarwal , Arthur M. Keller , Gio Wiederhold , Krishna Saraswat, Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases, Proceedings of the Eleventh International Conference on Data Engineering, p.495-504, March 06-10, 1995
 
2
M. Arenas, L. Bertossi, and M. Kifer. APC and Querying Inconsistent Databases. In preparation.
 
3
C. Baral, S. Kraus, J. Minker, and V.S. Subrahmanian. Combining Knowledge Bases Consisting of First- Order Theories. Computational Intelligence, 8:45-71, 1992.
 
4
François Bry, Query Answering in Information Systems with Integrity Constraints, Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems, p.113-130, December 04-05, 1997
5
Upen S. Chakravarthy , John Grant , Jack Minker, Logic-based approach to semantic query optimization, ACM Transactions on Database Systems (TODS), v.15 n.2, p.162-207, June 1990  [doi>10.1145/78922.78924]
6
Surajit Chaudhuri , Umeshwar Dayal, An overview of data warehousing and OLAP technology, ACM SIGMOD Record, v.26 n.1, p.65-74, March 1997  [doi>10.1145/248603.248616]
 
7
Jan Chomicki , Gunter Saake, Logics for databases and information systems, Kluwer Academic Publishers, Norwell, MA, 1998
 
8
T. Chou and M. Winslett. A Model-Based Belief Revision System. J. Automated Reasoning, 12:157-208, 1994.
 
9
Phan Minh Dung, Integrating data from possibly inconsistent databases, Proceedings of the First IFCIS International Conference on Cooperative Information Systems, p.58, June 19-21, 1996
 
10
Peter Gärdenfors , Hans Rott, Belief revision, Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning, Oxford University Press, Oxford, 1995
 
11
M. Gertz. Diagnosis and Repair of Constraint Violations in Database Systems. PhD thesis, Universitfit Hannover, 1996.
 
12
Parke Godfrey , John Grant , Jarek Gryz , Jack Minker, Integrity constraints: semantics and applications, Logics for databases and information systems, Kluwer Academic Publishers, Norwell, MA, 1998
 
13
Hirofumi Katsuno , Alberto O. Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence, v.52 n.3, p.263-294, Dec. 1991  [doi>10.1016/0004-3702(91)90069-V ]
 
14
K.L. Kwast. A Deontic Approach to Database Integrity. Annals of Mathematics and Artificial Intelligence, 9:205-238, 1993.
 
15
Jinxin Lin, A semantics for reasoning consistently in the presence of inconsistency, Artificial Intelligence, v.86 n.1, p.75-95, Sept. 1996  [doi>10.1016/0004-3702(95)00100-X ]
 
16
J. Lin and A. O. Mendelzon. Merging Databases under Constraints. International Journal of C~ooperative Information Systems, 7(1):55-76, 1996.
 
17
'W.W. McCune. OTTER 3.0 Reference Manual and Guide. Argonne National Laboratory, Technical Report ANL-94/6, 1994.
 
18
J.-J. Ch. Meyer , R. J. Wieringa , F. P. M. Dignum, The role of deontic logic in the specification of information systems, Logics for databases and information systems, Kluwer Academic Publishers, Norwell, MA, 1998
 
19
Jean-Marie Nicolas. Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, 18:227-253, lgP82.
 
20
Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988

CITED BY  57
Loreto Bravo , James Cheney , Irini Fundulaki, ACCOn: checking consistency of XML write-access control policies, Proceedings of the 11th international conference on Extending database technology: Advances in database technology, March 25-29, 2008, Nantes, France
Heiko Müller , Johann-Christoph Freytag , Ulf Leser, Describing differences between databases, Proceedings of the 15th ACM international conference on Information and knowledge management, November 06-11, 2006, Arlington, Virginia, USA
David Willmor , Suzanne M. Embury, An intensional approach to the specification of test cases for database applications, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
Nicholas E. Taylor , Zachary G. Ives, Reconciling while tolerating disagreement in collaborative data sharing, Proceedings of the 2006 ACM SIGMOD international conference on Management of data, June 27-29, 2006, Chicago, IL, USA
Ofer Arieli, Commonsense reasoning by distance semantics, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge, June 25-27, 2007, Brussels, Belgium
 
Ofer Arieli , Marc Denecker , Maurice Bruynooghe, Distance semantics for database repair, Annals of Mathematics and Artificial Intelligence, v.50 n.3-4, p.389-415, August 2007
Philip Bohannon , Wenfei Fan , Michael Flaster , Rajeev Rastogi, A cost-based model and effective heuristic for repairing constraints by value modification, Proceedings of the 2005 ACM SIGMOD international conference on Management of data, June 14-16, 2005, Baltimore, Maryland
Leopoldo Bertossi, Consistent query answering in databases, ACM SIGMOD Record, v.35 n.2, June 2006
 
Fei Xu , Christopher Jermaine, Randomized algorithms for data reconciliation in wide area aggregate query processing, Proceedings of the 33rd international conference on Very large data bases, September 23-27, 2007, Vienna, Austria
Leopoldo Bertossi , Jan Chomicki , Parke Godfrey , Phokion G. Kolaitis , Alex Thomo , Calisto Zuzarte, Exchange, integration, and consistency of data: report on the ARISE/NISR workshop, ACM SIGMOD Record, v.34 n.3, September 2005
 
T. S. Jayram , Satyen Kale , Erik Vee, Efficient aggregation algorithms for probabilistic data, Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms, p.346-355, January 07-09, 2007, New Orleans, Louisiana
 
Ariel Fuxman , Renée J. Miller, First-order query rewriting for inconsistent databases, Journal of Computer and System Sciences, v.73 n.4, p.610-635, June, 2007
Luca Grieco , Domenico Lembo , Riccardo Rosati , Marco Ruzzi, Consistent query answering under key and exclusion dependencies: algorithms and experiments, Proceedings of the 14th ACM international conference on Information and knowledge management, October 31-November 05, 2005, Bremen, Germany
 
Leopoldo Bertossi , Camilla Schwind, Database Repairs and Analytic Tableaux, Annals of Mathematics and Artificial Intelligence, v.40 n.1-2, p.5-35, January 2004
 
Sandra de Amo , Mônica Sakuray Pais, A paraconsistent logic programming approach for querying inconsistent databases, International Journal of Approximate Reasoning, v.46 n.2, p.366-386, October, 2007
 
Ariel Fuxman , Diego Fuxman , Renée J. Miller, ConQuer: a system for efficient querying over inconsistent databases, Proceedings of the 31st international conference on Very large data bases, August 30-September 02, 2005, Trondheim, Norway
 
Leopoldo Bertossi , Loreto Bravo , Enrico Franconi , Andrei Lopatenko, The complexity and approximation of fixing numerical attributes in databases under integrity constraints, Information Systems, v.33 n.4-5, p.407-434, June, 2008
 
Marcelo Arenas , Leopoldo Bertossi , Jan Chomicki, Answer sets for consistent query answering in inconsistent databases, Theory and Practice of Logic Programming, v.3 n.4, p.393-424, July 2003
 
Loreto Bravo , Leopoldo Bertossi, Consistent query answering under inclusion dependencies, Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, p.202-216, October 04-07, 2004, Markham, Ontario, Canada
Jef Wijsen, Database repairing using updates, ACM Transactions on Database Systems (TODS), v.30 n.3, p.722-768, September 2005
Gianluigi Greco , Francesco Scarcello, On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems, Proceedings of the 14th ACM international conference on Information and knowledge management, October 31-November 05, 2005, Bremen, Germany
Ariel Fuxman , Phokion G. Kolaitis , Renée J. Miller , Wang-Chiew Tan, Peer data exchange, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 13-15, 2005, Baltimore, Maryland
 
Doug Burdick , Prasad M. Deshpande , T. S. Jayram , Raghu Ramakrishnan , Shivakumar Vaithyanathan, OLAP over uncertain and imprecise data, Proceedings of the 31st international conference on Very large data bases, August 30-September 02, 2005, Trondheim, Norway
 
Sergio Greco , Luigi Pontieri , Ester Zumpano, A technique for information system integration, Proceedings of the 2001 international conference on Information systems technology and its applications, p.75-84, June 13-15, 2001, Kharkiv, Ukraine
Ariel Fuxman , Elham Fazli , Renée J. Miller, ConQuer: efficient management of inconsistent databases, Proceedings of the 2005 ACM SIGMOD international conference on Management of data, June 14-16, 2005, Baltimore, Maryland
Jan Chomicki , Jerzy Marcinkowski , Slawomir Staworko, Computing consistent query answers using conflict hypergraphs, Proceedings of the thirteenth ACM international conference on Information and knowledge management, November 08-13, 2004, Washington, D.C., USA
Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati, Tackling inconsistencies in data integration through source preferences, Proceedings of the 2004 international workshop on Information quality in information systems, June 18, 2004, Paris, France
 
Sergio Greco , Ester Zumpano, Consistent queries over databases with integrity constraints, Database integrity: challenges and solutions, Idea Group Publishing, Hershey, PA, 2002
 
Jan Chomicki , Jorge Lobo , Shamim Naqvi, Conflict Resolution Using Logic Programming, IEEE Transactions on Knowledge and Data Engineering, v.15 n.1, p.244-249, January 2003
Ariel Fuxman , Phokion G. Kolaitis , Renée J. Miller , Wang-Chiew Tan, Peer data exchange, ACM Transactions on Database Systems (TODS), v.31 n.4, p.1454-1498, December 2006
 
Richard Booth, Social contraction and belief negotiation, Information Fusion, v.7 n.1, p.19-34, March, 2006
 
Doug Burdick , Prasad M. Deshpande , T. S. Jayram , Raghu Ramakrishnan , Shivakumar Vaithyanathan, OLAP over uncertain and imprecise data, The VLDB Journal — The International Journal on Very Large Data Bases, v.16 n.1, p.123-144, January 2007
 
Gao Cong , Wenfei Fan , Floris Geerts , Xibei Jia , Shuai Ma, Improving data quality: consistency and accuracy, Proceedings of the 33rd international conference on Very large data bases, September 23-27, 2007, Vienna, Austria
 
Davy Van Nieuwenborgh , Dirk Vermeir, Preferred answer sets for ordered logic programs, Theory and Practice of Logic Programming, v.6 n.1-2, p.107-167, January 2006
Riccardo Rosati, On the decidability and finite controllability of query processing in databases with incomplete information, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 26-28, 2006, Chicago, IL, USA
 
Diego Calvanese , Giuseppe Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati, Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, Journal of Automated Reasoning, v.39 n.3, p.385-429, October 2007
Alon Y. Halevy , Zachary G. Ives , Peter Mork , Igor Tatarinov, Piazza: data management infrastructure for semantic web applications, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary
 
Jan Chomicki , Jerzy Marcinkowski, Minimal-change integrity maintenance using tuple deletions, Information and Computation, v.197 n.1/2, p.90-121, February 25, 2005/March 15, 2005
 
Gianluigi Greco , Sergio Greco , Ester Zumpano, A Logical Framework for Querying and Repairing Inconsistent Databases, IEEE Transactions on Knowledge and Data Engineering, v.15 n.6, p.1389-1408, November 2003
 
Marcelo Arenas , Leopoldo Bertossi , Jan Chomicki , Xin He , Vijay Raghavan , Jeremy Spinrad, Scalar aggregation in inconsistent databases, Theoretical Computer Science, v.296 n.3, p.405-434, 14 March 2003
 
Filippo Furfaro , Sergio Greco , Cristian Molinaro, A three-valued semantics for querying and repairing inconsistent databases, Annals of Mathematics and Artificial Intelligence, v.51 n.2-4, p.167-193, December 2007
Andrea Calì , Domenico Lembo , Riccardo Rosati, On the decidability and complexity of query answering over inconsistent and incomplete databases, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.260-271, June 09-11, 2003, San Diego, California
 
Gianluigi Greco, Solving abduction by computing joint explanations, Annals of Mathematics and Artificial Intelligence, v.50 n.1-2, p.143-194, June 2007
Periklis Andritsos , Ariel Fuxman , Anastasios Kementsietsidis , Renée J. Miller , Yannis Velegrakis, Kanata: adaptation and evolution in data sharing systems, ACM SIGMOD Record, v.33 n.4, December 2004
 
Gianluigi Greco , Sergio Greco , Ester Zumpano, Repairing and querying inconsistent databases, Effective databases for text & document management, Idea Group Publishing, Hershey, PA, 2003
Sergio Flesca , Sergio Greco , Ester Zumpano, Active integrity constraints, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.98-107, August 24-26, 2004, Verona, Italy
 
Ofer Arieli , Marc Denecker , Bert Nuffelen , Maurice Bruynooghe, Computational methods for database repair by signed formulae, Annals of Mathematics and Artificial Intelligence, v.46 n.1-2, p.4-37, February 2006
Leonid Libkin, Data exchange and incomplete information, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 26-28, 2006, Chicago, IL, USA
Alon Halevy , Michael Franklin , David Maier, Principles of dataspace systems, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-9, June 26-28, 2006, Chicago, IL, USA
 
Zijing Tan , Zijun Zhang , Wei Wang , Baile Shi, Consistent data for inconsistent XML document, Information and Software Technology, v.49 n.9-10, p.947-959, September, 2007
Maurizio Lenzerini, Data integration: a theoretical perspective, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin
Lyublena Antova , Christoph Koch , Dan Olteanu, From complete to incomplete information and back, Proceedings of the 2007 ACM SIGMOD international conference on Management of data, June 11-14, 2007, Beijing, China
 
Jun Rao , Sangeeta Doraiswamy , Hetal Thakkar , Latha S. Colby, A deferred cleansing method for RFID data analytics, Proceedings of the 32nd international conference on Very large data bases, September 12-15, 2006, Seoul, Korea
Fabrizio Angiulli , Gianluigi Greco , Luigi Palopoli, Outlier detection by logic programming, ACM Transactions on Computational Logic (TOCL), v.9 n.1, p.7-es, December 2007
 
Diego Calvanese , Giuseppe De Giacomo , Domenico Lembo , Maurizio Lenzerini , Riccardo Rosati, Inconsistency tolerance in P2P data integration: An epistemic logic approach, Information Systems, v.33 n.4-5, p.360-384, June, 2008
 
Andrea Calì , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Data integration under integrity constraints, Information Systems, v.29 n.2, p.147-163, April 2004
 
Wolfgang Faber , Gianluigi Greco , Nicola Leone, Magic Sets and their application to data integration, Journal of Computer and System Sciences, v.73 n.4, p.584-609, June, 2007

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Query processing

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS

  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Relational databases
      H.2.7 Database Administration
          Subjects: Security, integrity, and protection


General Terms:
Design, Languages, Management, Performance, Reliability, Theory, Verification

Collaborative Colleagues:
Marcelo Arenas: colleagues
Leopoldo Bertossi: colleagues
Jan Chomicki: colleagues

Peer to Peer - Readers of this Article have also read:

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2008 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player