David Toman

Loading Google Thumbnails...
2011
73Fundamentals of Physical Design and Query Compilation. David Toman, Grant E. Weddell. Fundamentals of Physical Design and Query Compilation 2011. Web SearchBibTeXDownload
72Fixpoints in Temporal Description Logics. Enrico Franconi, David Toman. IJCAI 2011, 875-880. Web SearchBibTeXDownload
71An Assertion Retrieval Algebra for Object Queries over Knowledge Bases. Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu. IJCAI 2011, 1051-1056. Web SearchBibTeXDownload
70The Combined Approach to Ontology-Based Data Access. Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. IJCAI 2011, 2656-2661. Web SearchBibTeXDownload
2010
69Query Algebra and Query Optimization for Concept Assertion Retrieval. Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu. Description Logics 2010. Web SearchBibTeXDownload
68The Combined Approach to Query Answering in DL-Lite. Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. KR 2010. Web SearchBibTeXDownload
67On 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
66Data Expiration and Aggregate Queries. David Toman. AMW 2009. Web SearchBibTeXDownload
65Concept Projection in Algebras for Computing Certain Answer Descriptions. Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu. Description Logics 2009. Web SearchBibTeXDownload
64Combined 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
63A Fast SOP Minimizer for Logic Funcions Described by Many Product Terms. Petr Fiser, David Toman. DSD 2009, 757-764. Web SearchBibTeXDownload
62Abstract Versus Concrete Temporal Query Languages. Jan Chomicki, David Toman. Encyclopedia of Database Systems 2009, 1-6. Web SearchBibTeXDownload
61Temporal Logic in Database Query Languages. Jan Chomicki, David Toman. Encyclopedia of Database Systems 2009, 2987-2991. Web SearchBibTeXDownload
60Temporal Vacuuming. John F. Roddick, David Toman. Encyclopedia of Database Systems 2009, 3023-3027. Web SearchBibTeXDownload
59Temporal Relational Calculus. Jan Chomicki, David Toman. Encyclopedia of Database Systems 2009, 3015-3016. Web SearchBibTeXDownload
58Point-Stamped Temporal Models. David Toman. Encyclopedia of Database Systems 2009, 2119-2123. Web SearchBibTeXDownload
57Conjunctive 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
56Applications and Extensions of PTIME Description Logics with Functional Constraints. David Toman, Grant E. Weddell. IJCAI 2009, 948-954. Web SearchBibTeXDownload
2008
55Decidable Reasoning over Timestamped Conceptual Models. Alessandro Artale, David Toman. Description Logics 2008. Cited by 1Web SearchBibTeXDownload
54Identifying Objects Over Time with Description Logics. David Toman, Grant E. Weddell. Description Logics 2008. Web SearchBibTeXDownload
53On Ordering and Indexing Metadata for the Semantic Web. Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell. Description Logics 2008. Cited by 1Web SearchBibTeXDownload
52On 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
51Conjunctive Query Answering in EL using a Database System. Carsten Lutz, David Toman, Frank Wolter. OWLED 2008. Cited by 8Web SearchBibTeXDownload
50Optimizing away joins on data streams. Lukasz Golab, Theodore Johnson, Nick Koudas, Divesh Srivastava, David Toman. SSPS 2008, 48-57. Cited by 6Web SearchBibTeXDownload
2007
49An Incremental Technique for Automata-Based Decision Procedures. Gulay Ünel, David Toman. CADE 2007, 100-115. Web SearchBibTeXDownload
48Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. Vitaliy L. Khizder, David Toman, Grant E. Weddell. Description Logics 2007. Web SearchBibTeXDownload
47On Ordering Descriptions in a Description Logic. Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell. Description Logics 2007. Cited by 3Web SearchBibTeXDownload
46On Order Dependencies for the Semantic Web. David Toman, Grant E. Weddell. ER 2007, 293-306. Web SearchBibTeXDownload
45Logic Programming Approach to Automata-Based Decision Procedures. Gulay Ünel, David Toman. ICLP 2007, 165-179. Web SearchBibTeXDownload
44A Description Logic of Change. Alessandro Artale, Carsten Lutz, David Toman. IJCAI 2007, 218-223. Cited by 16Web SearchBibTeXDownload
43Special Issue: TIME 2005. Jan Chomicki, David Toman. Inf. Comput. (205): 1 (2007). Web SearchBibTeXDownload
42On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. David Toman. TIME 2007, 150-162. Cited by 3Web SearchBibTeXDownload
2006
41A Description Logic of Change. Alessandro Artale, Carsten Lutz, David Toman. Description Logics 2006. Cited by 16Web SearchBibTeXDownload
40On 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
39On Path-functional Dependencies as First-class Citizens in Description Logics. David Toman, Grant E. Weddell. Description Logics 2005. Cited by 4Web SearchBibTeXDownload
38On 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
37On 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
36Structure 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
35Attribute Inversion in Description Logic with Path Functional Dependencies . David Toman, Grant E. Weddell. Description Logics 2004. Web SearchBibTeXDownload
2003
34Optimizing temporal queries: efficient handling of duplicates. Ivan T. Bowman, David Toman. Data Knowl. Eng. (44): 143-164 (2003). Cited by 3Web SearchBibTeX
33Rewriting Aggregate Queries using Description Logic. David DeHaan, David Toman, Grant E. Weddell. Description Logics 2003. Cited by 9Web SearchBibTeXDownload
32Fixpoint Extensions of Temporal Description Logics. Enrico Franconi, David Toman. Description Logics 2003. Cited by 7Web SearchBibTeXDownload
31On Reasoning about Structural Equality in XML: A Description Logic Approach. David Toman, Grant E. Weddell. ICDT 2003, 96-110. Web SearchBibTeXDownload
30Variable 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
29Logical Data Expiration. David Toman. Logics for Emerging Applications of Databases 2003, 203-238. Cited by 7Web SearchBibTeX
28A 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
27Logical Data Expiration for Fixpoint Extensions of Temporal Logics. David Toman. SSTD 2003, 380-393. Cited by 5Web SearchBibTeXDownload
26On Incompleteness of Multi-dimensional First-order Temporal Logics. David Toman. TIME 2003, 99-106. Cited by 5Web SearchBibTeXDownload
2002
25Logical Data Expiration. David Toman. TIME 2002, 66. Cited by 7Web SearchBibTeXDownload
2001
24Querying 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
23Query Processing in Embedded Control Programs. David Toman, Grant E. Weddell. Databases in Telecommunications 2001, 68-87. Cited by 5Web SearchBibTeXDownload
22On 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
21On 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
20Optimizing Temporal Queries: Efficient Handling of Duplicates. Ivan T. Bowman, David Toman. TIME 2001, 93-100. Web SearchBibTeXDownload
19Expiration of Historical Databases. David Toman. TIME 2001, 128-135. Cited by 18Web SearchBibTeXDownload
2000
18Reasoning about Duplicate Elimination with Description Logic. Vitaliy L. Khizder, David Toman, Grant E. Weddell. Computational Logic 2000, 1017-1032. Cited by 16Web SearchBibTeXDownload
17SQL/TP: A Temporal Extension of SQL. David Toman. Constraint Databases 2000, 391-399. Web SearchBibTeX
16On 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
15Datalog with Integer Periodicity Constraints. David Toman, Jan Chomicki, David S. Rogers. J. Log. Program. (35): 263-290 (1998). Cited by 63Web SearchBibTeXDownload
14Temporal Logic in Information Systems. Jan Chomicki, David Toman. Logics for Databases and Information Systems 1998, 31-70. Cited by 91Web SearchBibTeX
1997
13Constraint Databases and Program Analysis Using Abstract Interpretation. David Toman. CDB 1997, 246-262. Cited by 3Web SearchBibTeXDownload
12Computing the Well-Founded Semantics for Constraint Extensions of Datalog. David Toman. CDB 1997, 64-79. Cited by 8Web SearchBibTeXDownload
11Memoing Evaluation for Constraint Extensions of Datalog. David Toman. Constraints (2): 337-359 (1997). Cited by 23Web SearchBibTeXDownload
10Point-Based Temporal Extension of Temporal SQL. David Toman. DOOD 1997, 103-121. Cited by 35Web SearchBibTeXDownload
9Point-Based Temporal Extensions of SQL and Their Efficient Implementation. David Toman. Temporal Databases, Dagstuhl 1997, 211-237. Cited by 34Web SearchBibTeXDownload
1996
8First-Order Queries over Temporal Databases Inexpressible in Temporal Logic. David Toman, Damian Niwinski. EDBT 1996, 307-324. Cited by 33Web SearchBibTeXDownload
7Querying TSQL2 Databases with Temporal Logic. Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman. EDBT 1996, 325-341. Cited by 33Web SearchBibTeXDownload
6Point vs. Interval-based Query Languages for Temporal Databases. David Toman. PODS 1996, 58-67. Cited by 47Web SearchBibTeX
1995
5Implementing Temporal Integrity Constraints Using an Active DBMS. Jan Chomicki, David Toman. IEEE Trans. Knowl. Data Eng. (7): 566-582 (1995). Cited by 54Web SearchBibTeXDownload
4Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. David Toman. ILPS 1995, 98-112. Cited by 22Web SearchBibTeX
1994
3Implementing Temporal Integrity Constraints Using an Active DBMS. Jan Chomicki, David Toman. RIDE-ADS 1994, 87-95. Cited by 54Web SearchBibTeX
2Datalog with Integer Periodicity Constraints. David Toman, Jan Chomicki, David S. Rogers. SLP 1994, 189-203. Cited by 63Web SearchBibTeX
1991
1Register Allocation in WAM. Ludek Matyska, Adriana Jergová, David Toman. ICLP 1991, 142-156. Cited by 4Web SearchBibTeX
from DBLP and Google Scholar
References
1. ^ Untitled Document - Retrieved 2011-06-30 - details
2. ^ VLDB 2004 Program Committee Members - Retrieved 2011-07-02 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research