- On Order Dependencies for the Semantic Web David Toman
- Applications and Extensions of PTIME Description Logics with Functional Constraints
- Optimizing Away Joins on Data Streams Lukasz Golab
- An Incremental Technique for Automata-Based Decision Procedures
- On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries
- On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries
- On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics
- On Reasoning about Structural Equality in XML: A Description Logic Approach
- Jan Chomicki, Gunter Saake, Ron van der Meyden (Eds.)
- BRICSLS-97-1Chomicki&Toman:TemporalLogicinInformationSystems BRICSBasic Research in Computer Science
- Logics for Databases and Information Systems
- Decidable Reasoning over Timestamped Conceptual Models Alessandro Artale and David Toman
- FirstOrder Queries over Temporal Databases Inexpressible in Temporal Logic ?
- Temporal Databases (A Tutorial Proposal)
- Rewriting Aggregate Queries using Description Logic
- WAM Based Efficient Implementation of Logic Programming Languages---Final
- On Incompleteness of Multidimensional Firstorder Temporal Logics
- Logical Data Expiration for Fixpoint Extensions of Temporal Logics
- Reasoning about Duplicate Elimination with Description Logic
- Implementing Temporal Integrity Constraints Using an Active DBMS
- Structure and Content Scoring for XML Sihem Amer-Yahia
- Identifying Objects Over Time with Description Logics David Toman,
- On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of
- Optimizing temporal queries: efficient handling of duplicates Ivan T. Bowman, David Toman *
- J. LOGIC PROGRAMMING (DRAFT) 1 Datalog with Integer Periodicity Constraints \Lambda
- Pointbased Temporal Extensions of SQL and their Efficient Implementation
- Query Evaluation in Constraint Databases (Tutorial Proposal)
- Pointbased Temporal Extension of SQL David Toman
- Querying TSQL2 Databases with Temporal Logic
- Expiration of Historical Databases (Extended Abstract)
- Computing the Wellfounded Semantics for Constraint Extensions of Datalog
- Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements
- Querying XML with FLWR Expressions in FO N + count: On the Utility of Interval Based Encoding
- Variable Independence in Constraint Databases Jan Chomicki, Dina Goldin, Gabriel Kuper, and David Toman
- On Reasoning about Structural Equality in XML: A Description Logic Approach
- Attribute Inversion in Description Logics with Path Functional Dependencies
- 30th January 2004 16:9 WorldScientific/wsb975x650 booktimeai Time in Database Systems
- IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. 7, NO. 4, AUGUST 1995 1 Implementing Temporal Integrity Constraints
- On Decidability and Complexity of Description Logics with Uniqueness Constraints
- Optimizing Temporal Queries: Ecient Handling of Duplicates
- On Decidability and Complexity of Description Logics with Uniqueness Constraints ?
- Logic Programming Approach to Automata-Based Decision Procedures
- Fine Grained Information Integration with Description Logics
- Point vs. Intervalbased Query Languages for Temporal Databases
- Deciding Weak Monadic Second-order Logics using Complex-value Datalog
- Identifying Objects Over Time with Description Logics
- Datalog with Integer Periodicity Constraints
- Variable Independence in Constraint Databases Jan Chomicki, Dina Goldin, Gabriel Kuper, and David Toman
- On Ordering Descriptions in a Description Logic Jeffrey Pound, Lubomir Stanchev, David Toman, and Grant Weddell
- Register Allocation in WAM Ludek Matyska, Adriana Jergov'a, David Toman
- On Keys and Functional Dependencies as First-class Citizens in Description Logics
- On Ordering and Indexing Metadata for the Semantic Web
- Querying ATSQL Databases with Temporal Logic Jan Chomicki
- Constraint Databases and Program Analysis using Abstract Interpretation
- Constraints: An International Journal, 2, 337--359 (1997) fl 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- J Autom Reasoning DOI 10.1007/s10817-007-9092-z
- A Pointbased Temporal Extension of SQL David Toman ?
- Conjunctive Query Answering in the Description Logic EL using a Relational Database System
- A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding
- Temporal Logic in Information Systems BRICS Minicourse Lecture Notes \Lambda
- On Reasoning about Structural Equality in XML: A Description Logic Approach
- V.4: SQL/TP---a Temporal Extension of SQL David Toman
- On Path-functional Dependencies as First-class Citizens in Description Logics
- On the Interaction between Inverse Features and Pathfunctional Dependencies in Description Logics
- Query Processing in Embedded Control Programs
- Structure and Content Scoring for XML Sihem AmerYahia
- Logical Data Expiration (Invited Talk)
- TopDown beats BottomUp for Constraint Extensions of Datalog
- On Path-functional Dependencies as First-class Citizens in Description Logics
- Fixpoint Extensions of Temporal Description Logics Enrico Franconi
- Fine Grained Information Integration with Description Logics
- Optimizing Temporal Queries: Efficient Handling of Duplicates
