David Toman Papers on DiSC'04 On Reasoning about Structural Equality in XML: A Description Logic Approach Logical Data Expiration for Fixpoint Extensions of Temporal Logics Publications Note: Links lead to the DBLP on the Web. David Toman David Toman, Grant E. Weddell : Attribute Inversion in Description Logic with Path Functional Dependencies . Description Logics 2004 Enrico Franconi , David Toman: Fixpoint Extensions of Temporal Description Logics. Description Logics 2003 David DeHaan , David Toman, Grant E. Weddell : Rewriting Aggregate Queries using Description Logic. Description Logics 2003 David Toman, Grant E. Weddell : On Reasoning about Structural Equality in XML: A Description Logic Approach. ICDT 2003 : 96-110 David Toman: Logical Data Expiration. Logics for Emerging Applications of Databases 2003 : 203-238 David DeHaan , David Toman, Mariano P. Consens , M. Tamer Özsu : A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding. SIGMOD Conference 2003 : 623-634 David Toman: Logical Data Expiration for Fixpoint Extensions of Temporal Logics. SSTD 2003 : 380-393 David Toman: On Incompleteness of Multi-dimensional First-order Temporal Logics. TIME 2003 : 99-106 Ivan T. Bowman , David Toman: Optimizing temporal queries: efficient handling of duplicates. Data Knowl. Eng. 44 (2): 143-164 (2003) Jan Chomicki , Dina Q. Goldin , Gabriel M. Kuper , David Toman: Variable Independence in Constraint Databases. IEEE Trans. Knowl. Data Eng. 15 (6): 1422-1436 (2003) David Toman: Logical Data Expiration. TIME 2002 : 66- David Toman, Grant E. Weddell : Query Processing in Embedded Control Programs. Databases in Telecommunications 2001 : 68-87 David Toman, Grant E. Weddell : On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. Description Logics 2001 Vitaliy L. Khizder , David Toman, Grant E. Weddell : On Decidability and Complexity of Description Logics with Uniqueness Constraints. ICDT 2001 : 54-67 David Toman: Expiration of Historical Databases. TIME 2001 : 128-135 Ivan T. Bowman , David Toman: Optimizing Temporal Queries: Efficient Handling of Duplicates. TIME 2001 : 93-100 Jan Chomicki , David Toman, Michael H. Böhlen : Querying ATSQL databases with temporal logic. ACM Trans. Database Syst. 26 (2): 145-178 (2001) Vitaliy L. Khizder , David Toman, Grant E. Weddell : Reasoning about Duplicate Elimination with Description Logic. Computational Logic 2000 : 1017-1032 David Toman: SQL/TP: A Temporal Extension of SQL. Constraint Databases 2000 : 391-399 Vitaliy L. Khizder , David Toman, Grant E. Weddell : On Decidability and Complexity of Description Logics with Uniqueness Constraints. Description Logics 2000 : 193-202 Jan Chomicki , David Toman: Temporal Logic in Information Systems. Logics for Databases and Information Systems 1998 : 31-70 David Toman, Jan Chomicki : Datalog with Integer Periodicity Constraints. J. Log. Program. 35 (3): 263-290 (1998) David Toman: Constraint Databases and Program Analysis Using Abstract Interpretation. CDB 1997 : 246-262 David Toman: Computing the Well-Founded Semantics for Constraint Extensions of Datalog. CDB 1997 : 64-79 David Toman: Point-Based Temporal Extension of Temporal SQL. DOOD 1997 : 103-121 David Toman: Point-Based Temporal Extensions of SQL and Their Efficient Implementation. Temporal Databases, Dagstuhl 1997 : 211-237 David Toman: Memoing Evaluation for Constraint Extensions of Datalog. Constraints 2 (3/4): 337-359 (1997) David Toman, Damian Niwinski : First-Order Queries over Temporal Databases Inexpressible in Temporal Logic. EDBT 1996 : 307-324 Michael H. Böhlen , Jan Chomicki , Richard T. Snodgrass , David Toman: Querying TSQL2 Databases with Temporal Logic. EDBT 1996 : 325-341 David Toman: Point vs. Interval-based Query Languages for Temporal Databases. PODS 1996 : 58-67 David Toman: Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. ILPS 1995 : 98-112 Jan Chomicki , David Toman: Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Trans. Knowl. Data Eng. 7 (4): 566-582 (1995) David Toman, Jan Chomicki : Implementing Temporal Integrity Constraints Using an Active DBMS. RIDE-ADS 1994 : 87-95 David Toman, Jan Chomicki , David S. Rogers : Datalog with Integer Periodicity Constraints. SLP 1994 : 189-203 Ludek Matyska , Adriana Jergová , David Toman: Register Allocation in WAM. ICLP 1991 : 142-156 1 [ 7 ] [ 19 ] 2 [ 20 ] [ 27 ] 3 [ 2 ] [ 3 ] [ 4 ] [ 7 ] [ 14 ] [ 15 ] [ 19 ] [ 26 ] 4 [ 30 ] 5 [ 30 ] [ 33 ] 6 [ 34 ] 7 [ 26 ] 8 [ 1 ] 9 [ 16 ] [ 18 ] [ 22 ] 10 [ 26 ] 11 [ 1 ] 12 [ 8 ] 13 [ 30 ] 14 [ 2 ] 15 [ 7 ] 16 [ 16 ] [ 18 ] [ 22 ] [ 23 ] [ 24 ] [ 32 ] [ 33 ] [ 35 ] ©2005 Association for Computing Machinery