The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
David Toman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jan Chomicki, David Toman
    Implementing Temporal Integrity Constraints Using an Active DBMS. [Citation Graph (7, 15)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1995, v:7, n:4, pp:566-582 [Journal]
  2. David Toman, Jan Chomicki, David S. Rogers
    Datalog with Integer Periodicity Constraints. [Citation Graph (6, 0)][DBLP]
    SLP, 1994, pp:189-203 [Conf]
  3. David Toman, Jan Chomicki
    Implementing Temporal Integrity Constraints Using an Active DBMS. [Citation Graph (4, 0)][DBLP]
    RIDE-ADS, 1994, pp:87-95 [Conf]
  4. David Toman, Damian Niwinski
    First-Order Queries over Temporal Databases Inexpressible in Temporal Logic. [Citation Graph (3, 12)][DBLP]
    EDBT, 1996, pp:307-324 [Conf]
  5. David Toman
    Point vs. Interval-based Query Languages for Temporal Databases. [Citation Graph (3, 10)][DBLP]
    PODS, 1996, pp:58-67 [Conf]
  6. David Toman
    Point-Based Temporal Extension of Temporal SQL. [Citation Graph (2, 0)][DBLP]
    DOOD, 1997, pp:103-121 [Conf]
  7. Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman
    Querying TSQL2 Databases with Temporal Logic. [Citation Graph (2, 19)][DBLP]
    EDBT, 1996, pp:325-341 [Conf]
  8. Vitaliy L. Khizder, David Toman, Grant E. Weddell
    Reasoning about Duplicate Elimination with Description Logic. [Citation Graph (1, 0)][DBLP]
    Computational Logic, 2000, pp:1017-1032 [Conf]
  9. Jan Chomicki, David Toman
    Temporal Logic in Information Systems. [Citation Graph (1, 0)][DBLP]
    Logics for Databases and Information Systems, 1998, pp:31-70 [Conf]
  10. David Toman
    Point-Based Temporal Extensions of SQL and Their Efficient Implementation. [Citation Graph (1, 0)][DBLP]
    Temporal Databases, Dagstuhl, 1997, pp:211-237 [Conf]
  11. David Toman, Grant E. Weddell
    On Keys and Functional Dependencies as First-Class Citizens in Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:647-661 [Conf]
  12. David Toman
    SQL/TP: A Temporal Extension of SQL. [Citation Graph (0, 0)][DBLP]
    Constraint Databases, 2000, pp:391-399 [Conf]
  13. David Toman
    Computing the Well-Founded Semantics for Constraint Extensions of Datalog. [Citation Graph (0, 0)][DBLP]
    CDB, 1997, pp:64-79 [Conf]
  14. David Toman
    Constraint Databases and Program Analysis Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    CDB, 1997, pp:246-262 [Conf]
  15. David Toman
    Logical Data Expiration. [Citation Graph (0, 0)][DBLP]
    Logics for Emerging Applications of Databases, 2003, pp:203-238 [Conf]
  16. David Toman, Grant E. Weddell
    Query Processing in Embedded Control Programs. [Citation Graph (0, 0)][DBLP]
    Databases in Telecommunications, 2001, pp:68-87 [Conf]
  17. Enrico Franconi, David Toman
    Fixpoint Extensions of Temporal Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  18. David DeHaan, David Toman, Grant E. Weddell
    Rewriting Aggregate Queries using Description Logic. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  19. Vitaliy L. Khizder, David Toman, Grant E. Weddell
    On Decidability and Complexity of Description Logics with Uniqueness Constraints. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:193-202 [Conf]
  20. David Toman, Grant E. Weddell
    On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  21. David Toman, Grant E. Weddell
    Attribute Inversion in Description Logic with Path Functional Dependencies . [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  22. David Toman, Grant E. Weddell
    On Path-functional Dependencies as First-class Citizens in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  23. Vitaliy L. Khizder, David Toman, Grant E. Weddell
    On Decidability and Complexity of Description Logics with Uniqueness Constraints. [Citation Graph (0, 17)][DBLP]
    ICDT, 2001, pp:54-67 [Conf]
  24. David Toman, Grant E. Weddell
    On Reasoning about Structural Equality in XML: A Description Logic Approach. [Citation Graph (0, 0)][DBLP]
    ICDT, 2003, pp:96-110 [Conf]
  25. Ludek Matyska, Adriana Jergová, David Toman
    Register Allocation in WAM. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:142-156 [Conf]
  26. David Toman, Grant E. Weddell
    On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:603-608 [Conf]
  27. Alessandro Artale, Carsten Lutz, David Toman
    A Description Logic of Change. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:218-223 [Conf]
  28. David DeHaan, David Toman, Mariano P. Consens, M. Tamer Özsu
    A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2003, pp:623-634 [Conf]
  29. David Toman
    Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:98-112 [Conf]
  30. David Toman
    Logical Data Expiration for Fixpoint Extensions of Temporal Logics. [Citation Graph (0, 0)][DBLP]
    SSTD, 2003, pp:380-393 [Conf]
  31. Ivan T. Bowman, David Toman
    Optimizing Temporal Queries: Efficient Handling of Duplicates. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:93-100 [Conf]
  32. David Toman
    Expiration of Historical Databases. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:128-135 [Conf]
  33. David Toman
    Logical Data Expiration. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:66-0 [Conf]
  34. David Toman
    On Incompleteness of Multi-dimensional First-order Temporal Logics. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:99-106 [Conf]
  35. Sihem Amer-Yahia, Nick Koudas, Amélie Marian, Divesh Srivastava, David Toman
    Structure and Content Scoring for XML. [Citation Graph (0, 0)][DBLP]
    VLDB, 2005, pp:361-372 [Conf]
  36. David Toman
    Memoing Evaluation for Constraint Extensions of Datalog. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:3/4, pp:337-359 [Journal]
  37. Ivan T. Bowman, David Toman
    Optimizing temporal queries: efficient handling of duplicates. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2003, v:44, n:2, pp:143-164 [Journal]
  38. Jan Chomicki, David Toman
    Special Issue: TIME 2005. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:1, pp:1- [Journal]
  39. David Toman, Jan Chomicki
    Datalog with Integer Periodicity Constraints. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:35, n:3, pp:263-290 [Journal]
  40. David Toman, Grant E. Weddell
    On reasoning about structural equality in XML: a description logic approach. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:1, pp:181-203 [Journal]
  41. Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman
    Variable Independence in Constraint Databases. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:6, pp:1422-1436 [Journal]
  42. Jan Chomicki, David Toman, Michael H. Böhlen
    Querying ATSQL databases with temporal logic. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Database Syst., 2001, v:26, n:2, pp:145-178 [Journal]
  43. Gulay Ünel, David Toman
    An Incremental Technique for Automata-Based Decision Procedures. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:100-115 [Conf]
  44. Alessandro Artale, Carsten Lutz, David Toman
    A Description Logic of Change. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  45. David Toman, Grant E. Weddell
    On Order Dependencies for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    ER, 2007, pp:293-306 [Conf]
  46. Gulay Ünel, David Toman
    Logic Programming Approach to Automata-Based Decision Procedures. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:165-179 [Conf]
  47. David Toman
    On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:150-162 [Conf]

  48. On Ordering Descriptions in a Description Logic. [Citation Graph (, )][DBLP]


  49. Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. [Citation Graph (, )][DBLP]


  50. Identifying Objects Over Time with Description Logics. [Citation Graph (, )][DBLP]


  51. Decidable Reasoning over Timestamped Conceptual Models. [Citation Graph (, )][DBLP]


  52. Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. [Citation Graph (, )][DBLP]


  53. On Ordering and Indexing Metadata for the Semantic Web. [Citation Graph (, )][DBLP]


  54. Concept Projection in Algebras for Computing Certain Answer Descriptions. [Citation Graph (, )][DBLP]


  55. A Fast SOP Minimizer for Logic Funcions Described by Many Product Terms. [Citation Graph (, )][DBLP]


  56. Optimizing away joins on data streams. [Citation Graph (, )][DBLP]


  57. Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. [Citation Graph (, )][DBLP]


  58. Applications and Extensions of PTIME Description Logics with Functional Constraints. [Citation Graph (, )][DBLP]


  59. Identifying Objects Over Time with Description Logics. [Citation Graph (, )][DBLP]


  60. The Combined Approach to Query Answering in DL-Lite. [Citation Graph (, )][DBLP]


  61. Decidable Reasoning over Timestamped Conceptual Models. [Citation Graph (, )][DBLP]


  62. Conjunctive Query Answering in EL using a Database System. [Citation Graph (, )][DBLP]


  63. Data Expiration and Aggregate Queries. [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.026secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002