Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Leopoldo E. Bertossi

Papers on DiSC'02


Scalar Aggregation in FD-Inconsistent Databases

Publications


Note: Links lead to the DBLP on the Web.

Leopoldo E. Bertossi

20 Leopoldo E. Bertossi, Camilla Schwind : Analytic Tableaux and Database Repairs: Foundations. FoIKS 2002 : 32-48

19 Marcelo Arenas , Leopoldo E. Bertossi, Jan Chomicki : Scalar Aggregation in FD-Inconsistent Databases. ICDT 2001 : 39-53

18 Marcelo Arenas , Leopoldo E. Bertossi, Michael Kifer : Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000 : 926-941

17 Alexander Celle , Leopoldo E. Bertossi: Querying Inconsistent Databases: Algorithms and Implementation. Computational Logic 2000 : 942-956

16 Marcelo Arenas , Leopoldo E. Bertossi, Jan Chomicki : Specifying and Querying Database Repairs using Logic Programs with Exceptions. FQAS 2000 : 27-41

15 John F. Roddick , Lina Al-Jadir , Leopoldo E. Bertossi, Marlon Dumas , Florida Estrella , Heidi Gregersen , Kathleen Hornsby , Jens Lufter , Federica Mandreoli , Tomi Mannistö , Enric Mayol , Lex Wedemeijer : Evolution and Change in Data Management - Issues and Directions. SIGMOD Record 29 (1): 21-25 (2000)

14 Carlos A. Mareco , Leopoldo E. Bertossi: Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus. ER Workshops 1999 : 74-85

13 Leopoldo E. Bertossi, Javier Pinto : Specifying Active Rules for Database Maintenance. FMLDO 1999 : 65-81

12 Leopoldo E. Bertossi, Javier Pinto : Specifying Active Rules for Database Maintenance. FMLDO - Selected Papers 1999 : 112-129

11 Marcelo Arenas , Leopoldo E. Bertossi, Jan Chomicki : Consistent Query Answers in Inconsistent Databases. PODS 1999 : 68-79

10 Marcelo Arenas , Leopoldo E. Bertossi: Hypothetical Temporal Queries in Databases. KRDB 1998 : 4.1-4.8

9 Marcelo Arenas , Leopoldo E. Bertossi: The Dynamics of Database Views. Transactions and Change in Logic Databases 1998 : 197-226

8 Leopoldo E. Bertossi, Marcelo Arenas , Cristian Ferretti : SCDBR: An Automated Reasoner for Specifications of Database Updates. JIIS 10 (3): 253-280 (1998)

7 Leopoldo E. Bertossi, Javier Pinto , Pablo Saez , Deepak Kapur , Mahadevan Subramaniam : Automating Proofs of Integrity Constraints in Situation Calculus. ISMIS 1996 : 212-222

6 David A. Fuller , Sacha A. Bocic , Leopoldo E. Bertossi: Towards Efficient Partial Evaluation in Logic Programming. New Generation Computing 14 (2): 237-259 (1996)

5 Tania Bedrax-Weiss , Leopoldo E. Bertossi: Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem. SBIA 1995 : 59-68

4 Leopoldo E. Bertossi, Cristian Ferretti : SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. ICTL 1994 : 543-545

3 Leopoldo E. Bertossi, Raymond Reiter : On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. JELIA 1994 : 347-363

2 Leopoldo E. Bertossi, Raymond Reiter : Circumscription and Generic Mathematical Objects. Fundamenta Informaticae 21 (1/2): 113-123 (1994)

1 Leopoldo E. Bertossi: Circumscription in Data Logic for Data Type Specification. Journal of Logic and Computation 4 (1): 89-96 (1994)




DiSC'02 © 2003 Association for Computing Machinery