| 2011 |
| 73 | Fundamentals of Physical Design and Query Compilation. David Toman, Grant E. Weddell. Fundamentals of Physical Design and Query Compilation 2011. Web SearchBibTeXDownload |
| 72 | Fixpoints in Temporal Description Logics. Enrico Franconi, David Toman. IJCAI 2011, 875-880. Web SearchBibTeXDownload |
| 71 | An Assertion Retrieval Algebra for Object Queries over Knowledge Bases. Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu. IJCAI 2011, 1051-1056. Web SearchBibTeXDownload |
| 70 | The Combined Approach to Ontology-Based Data Access. Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. IJCAI 2011, 2656-2661. Web SearchBibTeXDownload |
| 2010 |
| 69 | Query Algebra and Query Optimization for Concept Assertion Retrieval. Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu. Description Logics 2010. Web SearchBibTeXDownload |
| 68 | The Combined Approach to Query Answering in DL-Lite. Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. KR 2010. Web SearchBibTeXDownload |
| 67 | On Finding Query Rewritings under Expressive Constraints. Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell. SEBD 2010, 426-437. Web SearchBibTeX |
| 2009 |
| 66 | Data Expiration and Aggregate Queries. David Toman. AMW 2009. Web SearchBibTeXDownload |
| 65 | Concept Projection in Algebras for Computing Certain Answer Descriptions. Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu. Description Logics 2009. Web SearchBibTeXDownload |
| 64 | Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. Description Logics 2009. Cited by 1Web SearchBibTeXDownload |
| 63 | A Fast SOP Minimizer for Logic Funcions Described by Many Product Terms. Petr Fiser, David Toman. DSD 2009, 757-764. Web SearchBibTeXDownload |
| 62 | Abstract Versus Concrete Temporal Query Languages. Jan Chomicki, David Toman. Encyclopedia of Database Systems 2009, 1-6. Web SearchBibTeXDownload |
| 61 | Temporal Logic in Database Query Languages. Jan Chomicki, David Toman. Encyclopedia of Database Systems 2009, 2987-2991. Web SearchBibTeXDownload |
| 60 | Temporal Vacuuming. John F. Roddick, David Toman. Encyclopedia of Database Systems 2009, 3023-3027. Web SearchBibTeXDownload |
| 59 | Temporal Relational Calculus. Jan Chomicki, David Toman. Encyclopedia of Database Systems 2009, 3015-3016. Web SearchBibTeXDownload |
| 58 | Point-Stamped Temporal Models. David Toman. Encyclopedia of Database Systems 2009, 2119-2123. Web SearchBibTeXDownload |
| 57 | Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. Carsten Lutz, David Toman, Frank Wolter. IJCAI 2009, 2070-2075. Cited by 5Web SearchBibTeXDownload |
| 56 | Applications and Extensions of PTIME Description Logics with Functional Constraints. David Toman, Grant E. Weddell. IJCAI 2009, 948-954. Web SearchBibTeXDownload |
| 2008 |
| 55 | Decidable Reasoning over Timestamped Conceptual Models. Alessandro Artale, David Toman. Description Logics 2008. Cited by 1Web SearchBibTeXDownload |
| 54 | Identifying Objects Over Time with Description Logics. David Toman, Grant E. Weddell. Description Logics 2008. Web SearchBibTeXDownload |
| 53 | On Ordering and Indexing Metadata for the Semantic Web. Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell. Description Logics 2008. Cited by 1Web SearchBibTeXDownload |
| 52 | On Keys and Functional Dependencies as First-Class Citizens in Description Logics. David Toman, Grant E. Weddell. J. Autom. Reasoning (40): 117-132 (2008). Cited by 12Web SearchBibTeXDownload |
| 51 | Conjunctive Query Answering in EL using a Database System. Carsten Lutz, David Toman, Frank Wolter. OWLED 2008. Cited by 8Web SearchBibTeXDownload |
| 50 | Optimizing away joins on data streams. Lukasz Golab, Theodore Johnson, Nick Koudas, Divesh Srivastava, David Toman. SSPS 2008, 48-57. Cited by 6Web SearchBibTeXDownload |
| 2007 |
| 49 | An Incremental Technique for Automata-Based Decision Procedures. Gulay Ünel, David Toman. CADE 2007, 100-115. Web SearchBibTeXDownload |
| 48 | Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. Vitaliy L. Khizder, David Toman, Grant E. Weddell. Description Logics 2007. Web SearchBibTeXDownload |
| 47 | On Ordering Descriptions in a Description Logic. Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell. Description Logics 2007. Cited by 3Web SearchBibTeXDownload |
| 46 | On Order Dependencies for the Semantic Web. David Toman, Grant E. Weddell. ER 2007, 293-306. Web SearchBibTeXDownload |
| 45 | Logic Programming Approach to Automata-Based Decision Procedures. Gulay Ünel, David Toman. ICLP 2007, 165-179. Web SearchBibTeXDownload |
| 44 | A Description Logic of Change. Alessandro Artale, Carsten Lutz, David Toman. IJCAI 2007, 218-223. Cited by 16Web SearchBibTeXDownload |
| 43 | Special Issue: TIME 2005. Jan Chomicki, David Toman. Inf. Comput. (205): 1 (2007). Web SearchBibTeXDownload |
| 42 | On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. David Toman. TIME 2007, 150-162. Cited by 3Web SearchBibTeXDownload |
| 2006 |
| 41 | A Description Logic of Change. Alessandro Artale, Carsten Lutz, David Toman. Description Logics 2006. Cited by 16Web SearchBibTeXDownload |
| 40 | On Keys and Functional Dependencies as First-Class Citizens in Description Logics. David Toman, Grant E. Weddell. IJCAR 2006, 647-661. Cited by 12Web SearchBibTeXDownload |
| 2005 |
| 39 | On Path-functional Dependencies as First-class Citizens in Description Logics. David Toman, Grant E. Weddell. Description Logics 2005. Cited by 4Web SearchBibTeXDownload |
| 38 | On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics. David Toman, Grant E. Weddell. IJCAI 2005, 603-608. Cited by 11Web SearchBibTeXDownload |
| 37 | On reasoning about structural equality in XML: a description logic approach. David Toman, Grant E. Weddell. Theor. Comput. Sci. (336): 181-203 (2005). Cited by 18Web SearchBibTeXDownload |
| 36 | Structure and Content Scoring for XML. Sihem Amer-Yahia, Nick Koudas, Amélie Marian, Divesh Srivastava, David Toman. VLDB 2005, 361-372. Cited by 90Web SearchBibTeXDownload |
| 2004 |
| 35 | Attribute Inversion in Description Logic with Path Functional Dependencies . David Toman, Grant E. Weddell. Description Logics 2004. Web SearchBibTeXDownload |
| 2003 |
| 34 | Optimizing temporal queries: efficient handling of duplicates. Ivan T. Bowman, David Toman. Data Knowl. Eng. (44): 143-164 (2003). Cited by 3Web SearchBibTeX |
| 33 | Rewriting Aggregate Queries using Description Logic. David DeHaan, David Toman, Grant E. Weddell. Description Logics 2003. Cited by 9Web SearchBibTeXDownload |
| 32 | Fixpoint Extensions of Temporal Description Logics. Enrico Franconi, David Toman. Description Logics 2003. Cited by 7Web SearchBibTeXDownload |
| 31 | On Reasoning about Structural Equality in XML: A Description Logic Approach. David Toman, Grant E. Weddell. ICDT 2003, 96-110. Web SearchBibTeXDownload |
| 30 | Variable Independence in Constraint Databases. Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman. IEEE Trans. Knowl. Data Eng. (15): 1422-1436 (2003). Cited by 11Web SearchBibTeXDownload |
| 29 | Logical Data Expiration. David Toman. Logics for Emerging Applications of Databases 2003, 203-238. Cited by 7Web SearchBibTeX |
| 28 | A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding. David DeHaan, David Toman, Mariano P. Consens, M. Tamer Özsu. SIGMOD Conference 2003, 623-634. Cited by 159Web SearchBibTeXDownload |
| 27 | Logical Data Expiration for Fixpoint Extensions of Temporal Logics. David Toman. SSTD 2003, 380-393. Cited by 5Web SearchBibTeXDownload |
| 26 | On Incompleteness of Multi-dimensional First-order Temporal Logics. David Toman. TIME 2003, 99-106. Cited by 5Web SearchBibTeXDownload |
| 2002 |
| 25 | Logical Data Expiration. David Toman. TIME 2002, 66. Cited by 7Web SearchBibTeXDownload |
| 2001 |
| 24 | Querying ATSQL databases with temporal logic. Jan Chomicki, David Toman, Michael H. Böhlen. ACM Trans. Database Syst. (26): 145-178 (2001). Cited by 31Web SearchBibTeXDownload |
| 23 | Query Processing in Embedded Control Programs. David Toman, Grant E. Weddell. Databases in Telecommunications 2001, 68-87. Cited by 5Web SearchBibTeXDownload |
| 22 | On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. David Toman, Grant E. Weddell. Description Logics 2001. Web SearchBibTeXDownload |
| 21 | On Decidability and Complexity of Description Logics with Uniqueness Constraints. Vitaliy L. Khizder, David Toman, Grant E. Weddell. ICDT 2001, 54-67. Cited by 31Web SearchBibTeXDownload |
| 20 | Optimizing Temporal Queries: Efficient Handling of Duplicates. Ivan T. Bowman, David Toman. TIME 2001, 93-100. Web SearchBibTeXDownload |
| 19 | Expiration of Historical Databases. David Toman. TIME 2001, 128-135. Cited by 18Web SearchBibTeXDownload |
| 2000 |
| 18 | Reasoning about Duplicate Elimination with Description Logic. Vitaliy L. Khizder, David Toman, Grant E. Weddell. Computational Logic 2000, 1017-1032. Cited by 16Web SearchBibTeXDownload |
| 17 | SQL/TP: A Temporal Extension of SQL. David Toman. Constraint Databases 2000, 391-399. Web SearchBibTeX |
| 16 | On Decidability and Complexity of Description Logics with Uniqueness Constraints. Vitaliy L. Khizder, David Toman, Grant E. Weddell. Description Logics 2000, 193-202. Cited by 31Web SearchBibTeXDownload |
| 1998 |
| 15 | Datalog with Integer Periodicity Constraints. David Toman, Jan Chomicki, David S. Rogers. J. Log. Program. (35): 263-290 (1998). Cited by 63Web SearchBibTeXDownload |
| 14 | Temporal Logic in Information Systems. Jan Chomicki, David Toman. Logics for Databases and Information Systems 1998, 31-70. Cited by 91Web SearchBibTeX |
| 1997 |
| 13 | Constraint Databases and Program Analysis Using Abstract Interpretation. David Toman. CDB 1997, 246-262. Cited by 3Web SearchBibTeXDownload |
| 12 | Computing the Well-Founded Semantics for Constraint Extensions of Datalog. David Toman. CDB 1997, 64-79. Cited by 8Web SearchBibTeXDownload |
| 11 | Memoing Evaluation for Constraint Extensions of Datalog. David Toman. Constraints (2): 337-359 (1997). Cited by 23Web SearchBibTeXDownload |
| 10 | Point-Based Temporal Extension of Temporal SQL. David Toman. DOOD 1997, 103-121. Cited by 35Web SearchBibTeXDownload |
| 9 | Point-Based Temporal Extensions of SQL and Their Efficient Implementation. David Toman. Temporal Databases, Dagstuhl 1997, 211-237. Cited by 34Web SearchBibTeXDownload |
| 1996 |
| 8 | First-Order Queries over Temporal Databases Inexpressible in Temporal Logic. David Toman, Damian Niwinski. EDBT 1996, 307-324. Cited by 33Web SearchBibTeXDownload |
| 7 | Querying TSQL2 Databases with Temporal Logic. Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman. EDBT 1996, 325-341. Cited by 33Web SearchBibTeXDownload |
| 6 | Point vs. Interval-based Query Languages for Temporal Databases. David Toman. PODS 1996, 58-67. Cited by 47Web SearchBibTeX |
| 1995 |
| 5 | Implementing Temporal Integrity Constraints Using an Active DBMS. Jan Chomicki, David Toman. IEEE Trans. Knowl. Data Eng. (7): 566-582 (1995). Cited by 54Web SearchBibTeXDownload |
| 4 | Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. David Toman. ILPS 1995, 98-112. Cited by 22Web SearchBibTeX |
| 1994 |
| 3 | Implementing Temporal Integrity Constraints Using an Active DBMS. Jan Chomicki, David Toman. RIDE-ADS 1994, 87-95. Cited by 54Web SearchBibTeX |
| 2 | Datalog with Integer Periodicity Constraints. David Toman, Jan Chomicki, David S. Rogers. SLP 1994, 189-203. Cited by 63Web SearchBibTeX |
| 1991 |
| 1 | Register Allocation in WAM. Ludek Matyska, Adriana Jergová, David Toman. ICLP 1991, 142-156. Cited by 4Web SearchBibTeX |