David Toman Papers on DiSC'02 On Decidability and Complexity of Description Logics with Uniqueness Constraints Optimizing Temporal Queries: Efficient Handling of Duplicates Expiration of Historical Databases Querying ATSQL databases with temporal logic Publications Note: Links lead to the DBLP on the Web. David Toman 24 David Toman, Grant E. Weddell : Query Processing in Embedded Control Programs. Databases in Telecommunications 2001 : 68-87 23 David Toman, Grant E. Weddell : On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. Description Logics 2001 22 Vitaliy L. Khizder , David Toman, Grant E. Weddell : On Decidability and Complexity of Description Logics with Uniqueness Constraints. ICDT 2001 : 54-67 21 David Toman: Expiration of Historical Databases. TIME 2001 : 128-135 20 Ivan T. Bowman , David Toman: Optimizing Temporal Queries: Efficient Handling of Duplicates. TIME 2001 : 93-100 19 Jan Chomicki , David Toman, Michael H. Böhlen : Querying ATSQL databases with temporal logic. TODS 26 (2): 145-178 (2001) 18 Vitaliy L. Khizder , David Toman, Grant E. Weddell : Reasoning about Duplicate Elimination with Description Logic. Computational Logic 2000 : 1017-1032 17 David Toman: SQL/TP: A Temporal Extension of SQL. Constraint Databases 2000 : 391-399 16 Vitaliy L. Khizder , David Toman, Grant E. Weddell : On Decidability and Complexity of Description Logics with Uniqueness Constraints. Description Logics 2000 : 193-202 15 Jan Chomicki , David Toman: Temporal Logic in Information Systems. Logics for Databases and Information Systems 1998 : 31-70 14 David Toman, Jan Chomicki : Datalog with Integer Periodicity Constraints. JLP 35 (3): 263-290 (1998) 13 David Toman: Constraint Databases and Program Analysis Using Abstract Interpretation. CDB 1997 : 246-262 12 David Toman: Computing the Well-Founded Semantics for Constraint Extensions of Datalog. CDB 1997 : 64-79 11 David Toman: Point-Based Temporal Extension of Temporal SQL. DOOD 1997 : 103-121 10 David Toman: Point-Based Temporal Extensions of SQL and Their Efficient Implementation. Temporal Databases, Dagstuhl 1997 : 211-237 9 David Toman: Memoing Evaluation for Constraint Extensions of Datalog. Constraints 2 (3/4): 337-359 (1997) 8 David Toman, Damian Niwinski : First-Order Queries over Temporal Databases Inexpressible in Temporal Logic. EDBT 1996 : 307-324 7 Michael H. Böhlen , Jan Chomicki , Richard T. Snodgrass , David Toman: Querying TSQL2 Databases with Temporal Logic. EDBT 1996 : 325-341 6 David Toman: Point vs. Interval-based Query Languages for Temporal Databases. PODS 1996 : 58-67 5 David Toman: Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. ILPS 1995 : 98-112 4 Jan Chomicki , David Toman: Implementing Temporal Integrity Constraints Using an Active DBMS. TKDE 7 (4): 566-582 (1995) 3 David Toman, Jan Chomicki : Implementing Temporal Integrity Constraints Using an Active DBMS. RIDE-ADS 1994 : 87-95 2 David Toman, Jan Chomicki , David S. Rogers : Datalog with Integer Periodicity Constraints. SLP 1994 : 189-203 1 Ludek Matyska , Adriana Jergová , David Toman: Register Allocation in WAM. ICLP 1991 : 142-156 DiSC'02 © 2003 Association for Computing Machinery