Carlo Zaniolo

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Incompleteness of Database Languages for Data Streams and Data Mining: the Problem and the Cure.

[BibT_eX]

Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

ATLaS: A Native Extension of SQL for Data Mining.

[BibT_eX]

[DOI]

Proceedings of the Third SIAM International Conference on Data Mining, 2003

Design and Implementation of a Temporal Extension of SQL.

[BibT_eX]

[DOI]

Jiejun Kong

Proceedings of the 19th International Conference on Data Engineering, 2003

2002

Efficient schemes for managing multiversionXML documents.

[BibT_eX]

[DOI]

VLDB J., 2002

Pushing extrema aggregates to optimize logic queries.

[BibT_eX]

[DOI]

Inf. Syst., 2002

Efficient Structural Joins on Indexed XML Documents.

[BibT_eX]

[DOI]

Proceedings of 28th International Conference on Very Large Data Bases, 2002

The ATLaS System and Its Powerful Database Language Based on Simple Extensions of SQL.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Data Engineering, San Jose, CA, USA, February 26, 2002

Preserving and Querying Histories of XML-Published Relational Databases.

[BibT_eX]

[DOI]

Fusheng Wang

Proceedings of the Advanced Conceptual Modeling Techniques, 2002

Efficient Complex Query Support for Multiversion XML Documents.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 2002

Extending SQL for Decision Support Applications.

[BibT_eX]

[DOI]

Proceedings of the Design and Management of Data Warehouses 2002, 2002

Key Constraints and Monotonic Aggregates in Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Greedy Algorithms in Datalog.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2001

XML Document Versioning.

[BibT_eX]

[DOI]

SIGMOD Rec., 2001

Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases.

[BibT_eX]

[DOI]

Fosca Giannotti

Dino Pedreschi

J. Comput. Syst. Sci., 2001

Extending stratified datalog to capture complexity classes ranging from P to QH.

[BibT_eX]

[DOI]

Acta Informatica, 2001

Storing and Querying Multiversion XML Documents using Durable Node Numbers.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Web Information Systems Engineering, 2001

A Sequential Pattern Query Language for Supporting Instant Data Mining for e-Services.

[BibT_eX]

[DOI]

Proceedings of the VLDB 2001, 2001

Efficient Management of Multiversion Documents by Object Referencing.

[BibT_eX]

[DOI]

Proceedings of the VLDB 2001, 2001

Copy-Based versus Edit-Based Version Management Schemes for Structured Documents.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Workshop on Research Issues in Data Engineering: Document Management for Data Intensive Business and Scientific Applications, 2001

Optimization of Sequence Queries in Database Systems.

[BibT_eX]

[DOI]

Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2001

2000

Version Management of XML Documents.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on the Web and Databases, 2000

Using SQL to Build New Aggregates and Extenders for Object- Relational Systems.

[BibT_eX]

[DOI]

Proceedings of the VLDB 2000, 2000

CMP: A Fast Decision Tree Classifier Using Multivariate Predictions.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

User Defined Aggregates in Object-Relational Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

SQLST: A Spatio-Temporal Data Model and Query Language.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2000

Database System Extensions for Decision Support: the AXL Approach.

[BibT_eX]

Proceedings of the 2000 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 2000

1999

Grammars and Automata to Optimize Chain Logic Queries.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 1999

Universal Temporal Extensions for Database Languages.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Data Engineering, 1999

User-Defined Aggregates for Datamining.

[BibT_eX]

[DOI]

Proceedings of the 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 1999

User-Defined Aggregates in Database Languages.

[BibT_eX]

[DOI]

Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

Logic-Based User-Defined Aggregates for the Next Generation of Database Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Greedy Algorithms in Datalog with Choice and Negation.

[BibT_eX]

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Optimization of Logic Queries with MIN and MAX Predicates.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

User Defined Aggregates for Logical Data Languages.

[BibT_eX]

Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, 1998

Universal Temporal Data Languages.

[BibT_eX]

Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, 1998

1997

Deterministic and Non-Deterministic Stable Models.

[BibT_eX]

[DOI]

J. Log. Comput., 1997

Formal Semantics for Composite Temporal Events in Active Database Rules.

[BibT_eX]

[DOI]

J. Syst. Integr., 1997

Programming with Non-Determinism in Deductive Databases.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1997

The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach.

[BibT_eX]

[DOI]

Antonio Brogi

V. S. Subrahmanian

Ann. Math. Artif. Intell., 1997

Temporal Aggregation in Active Database Rules.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1997, 1997

The Nonmonotonic Semantics of Active Rules in Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

Advanced Database Systems.

[BibT_eX]

Morgan Kaufmann, ISBN: 1-55860-443-X, 1997

1996

Polynomial-Time Computable Stable Models.

[BibT_eX]

[DOI]

Luigi Palopoli

Ann. Math. Artif. Intell., 1996

Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion).

[BibT_eX]

[DOI]

Proceedings of the Logic in Databases, 1996

Metaqueries for Data Mining.

[BibT_eX]

Proceedings of the Advances in Knowledge Discovery and Data Mining., 1996

1995

Extrema Predicates in Deductive Databases.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1995

Composite Temporal Events in Active Databases: A Formal Semantics

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Temporal Databases, 1995

The Dynamics of Active Database Rules: Models and Refinements.

[BibT_eX]

Proceedings of the Next Generation Information Technologies and Systems (NGITS '95), 1995

Relating Stable Models and AI Planning Domains.

[BibT_eX]

V. S. Subrahmanian

Proceedings of the Logic Programming, 1995

DATALOG Queries with Stratified Negation and Choice: from P to DP.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 1995

The PushDown Method to Optimize Chain Logic Programs (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Intelligent Knowledge Discovery Assistants on the Internet (Abstract).

[BibT_eX]

Dimitrios Tsonis

Proceedings of the DOOD 1995 Post-Conference Workshops on Integration of Knowledge Discovery in Databases with Deductive and Object-Oriented Databases (KDOOD) and Temporal Reasoning in Deductive and Object-Oriented Databases (TDOOD), 1995

Active Database Rules with Transaction-Conscious Stable-Model Semantics.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 1995

Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 1995

1994

Declarative Semantics for Pruning Operators in Logic Programming.

[BibT_eX]

Fosca Giannotti

Dino Pedreschi

Methods Log. Comput. Sci., 1994

Using Metagueries to Integrate Inductive Learning and Deductive Database Technology.

[BibT_eX]

Proceedings of the Knowledge Discovery in Databases: Papers from the 1994 AAAI Workshop, 1994

Efficient Execution of Recursive Queries Through Controlled Binding Propagation.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

A Simple Model for Active Rules and their Behavior in Deductive Databases.

[BibT_eX]

Reza Sadri

Proceedings of the Workshop on Deductive Databases and Logic Programming, 1994

Expressive Power of Non-Deterministic Operators for Logic-based Languages.

[BibT_eX]

Proceedings of the Workshop on Deductive Databases and Logic Programming, 1994

1993

Polynominal Time Computable Stable Models.

[BibT_eX]

Luigi Palopoli

Proceedings of the Logic Programming, 1993

Dynamic Programming Optimization for Logic Queries with Aggregates.

[BibT_eX]

Proceedings of the Logic Programming, 1993

A Unified Semantics for Active and Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Rules in Database Systems. Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August, 1993

Negation and Aggregates in Recursive Rules: the LDL++ Approach.

[BibT_eX]

[DOI]

Natraj Arni

KayLiang Ong

Proceedings of the Deductive and Object-Oriented Databases, Third International Conference, 1993

Improving Data Quality Via LDL++.

[BibT_eX]

Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993

Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science Databases.

[BibT_eX]

Richard R. Muntz

Eddie C. Shek

Proceedings of the Applications of Logic Databases, 1993

A new User's Impressions on LDL++ and CORAL.

[BibT_eX]

Ping-Yu Hsu

Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993

On the Unification of Active Databases and Deductive databases.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases, 11th British National Conference on Databases, 1993

1992

Compilation of Set Terms in the Logic Data Language (LDL).

[BibT_eX]

[DOI]

Oded Shmueli

J. Log. Program., 1992

Intelligent Databases: Old Challenges and New Opportunities.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 1992

Greedy by Choice.

[BibT_eX]

[DOI]

Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Logic Programming Semantics Made Easy.

[BibT_eX]

[DOI]

Els Laenens

Dirk Vermeir

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

Optimization of Linear Logic Programs Using Counting Methods.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 1992

1991

Minimum and Maximum Predicates in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

Efficient Processing of Declarative Rule-Based Languages for Datebases.

[BibT_eX]

[DOI]

Proceedings of the Processing Declarative Knowledge, 1991

Partial Models and Three-Valued Models in Logic Programs with Negation.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Non-Determinism in Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 1991

1990

The LDL System Prototype.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1990

Deductive Databases: Achievements and Future Directions.

[BibT_eX]

[DOI]

Jeffrey D. Ullman

SIGMOD Rec., 1990

Deductive Database Systems: Applications and Programming.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Stable Models and Non-Determinism in Logic Programs with Negation.

[BibT_eX]

[DOI]

Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

System Analysis for Deductive Database Environments: An Enhanced Role for Aggregate Entities.

[BibT_eX]

Proceedings of the 9th International Conference on Entity-Relationship Approach (ER'90), 1990

Deductive Databases - Theory Meets Practice.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 1990

Architecture of deductive database systems.

[BibT_eX]

[DOI]

Proceedings of the Intellectual Leverage: Thirty-Fifth IEEE Computer Society International Conference, 1990

1989

Database Transactions in LDL.

[BibT_eX]

Shamim A. Naqvi

Proceedings of the Logic Programming, 1989

Object Identity and Inheritance in Deductive Databases - an Evolutionary Approach.

[BibT_eX]

Proceedings of the Deductive and Object-Oriented Databases, 1989

1988

The Generalized Counting Method for Recursive Logic Queries.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1988

Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL).

[BibT_eX]

[DOI]

Oded Shmueli

Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

Differential Fixpoint Methods and Stratification of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

Design and Implementation of a Logic Based Language for Data Intensive Applications.

[BibT_eX]

Proceedings of the Logic Programming, 1988

Optimization in a Logic Based Language for Knowledge and Data Intensive Applications.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 1988

Rule Rewriting Methods in the Implementation of the Logic Language LDL.

[BibT_eX]

Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, 1988

1987

Databases and Logic - Forword by the Guest Editor.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1987

An Overview of the LDL System.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1987

Magic Counting Methods.

[BibT_eX]

[DOI]

Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic.

[BibT_eX]

Proceedings of the Logic Programming, 1987

Control and Optimization Strategies in the Implementation of LDL.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Programming Languages, 1987

1986

Issues in the Optimization of a Logic Based Language.

[BibT_eX]

[DOI]

IEEE Database Eng. Bull., 1986

Safety and Optimization of Horn Clause Queries.

[BibT_eX]

Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

LDL: A Logic-Based Data Language.

[BibT_eX]

[DOI]

Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986

Optimization of Nonrecursive Queries.

[BibT_eX]

[DOI]

Haran Boral

Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986

On the Implementation of a Simple Class of Logic Queries for Databases.

[BibT_eX]

[DOI]

Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

Rule Rewriting Methods for Efficient Implementations of Horn Logic.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Logic and Functional Programming, 1986

Safety and Compilation of Non-recursive Horn Clauses.

[BibT_eX]

Proceedings of the Expert Database Systems, 1986

1985

The Representation and Deductive Retrieval of Complex Objects.

[BibT_eX]

[DOI]

Proceedings of the VLDB'85, 1985

Logic programming and databases.

[BibT_eX]

[DOI]

Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985

Architectures for expert-DBMS (Panel).

[BibT_eX]

[DOI]

Douglas Stott Parker Jr.

Matthias Jarke

Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985

1984

Database Relations with Null Values.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1984

Object-Oriented Programming in Prolog.

[BibT_eX]

Proceedings of the 1984 International Symposium on Logic Programming, 1984

An Implementation of GEM - Supporting a Semantic Data Model on a Relational Back-End.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD'84, 1984

Object Oriented Database Systems and Knowledge Systems.

[BibT_eX]

Hassan Aït-Kaci

David Beech

Stephanie J. Cammarata

David Maier

Proceedings of the Expert Database Systems, 1984

Prolog: A Database Query Language for All Seasons.

[BibT_eX]

Proceedings of the Expert Database Systems, 1984

1983

The Database Language GEM.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD'83, 1983

1982

A Formal Approach to the Definition and the Design of Conceptual Schemata for Database Systems.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1982

A New Normal Form for the Design of Relational Database Schemata.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1982

1981

On the Design of Relational Database Schemata.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1981

1980

Mixed Transitivity for Functional and Multivalued Dependencies in Database Relations.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1980

1979

Design of Relational Views over Network Schemas.

[BibT_eX]

[DOI]

Proceedings of the 1979 ACM SIGMOD International Conference on Management of Data, Boston, Massachusetts, USA, May 30, 1979

Decomposition of Relations and Synthesis of Entity-Relationship Diagrams.

[BibT_eX]

Proceedings of the Entity-Relationship Approach to Systems Analysis and Design. Proc. 1st International Conference on the Entity-Relationship Approach, 1979

Multimodel External Schemas for Codasyl Database Management Systems.

[BibT_eX]

Proceedings of the Data Base Architecture, 1979

1977

Letter.

[BibT_eX]

SIGMOD Rec., 1977

Review of the ACM-SIGMOD International Conference on Management of Data.

[BibT_eX]

[DOI]