21,580 Hits in 2.6 sec

A logical framework for temporal deductive databases

Suryanarayana M. Sripada
1988 Very Large Data Bases Conference  
Temporal deductive databases are deductive databases with an ability to represent both valid time and transaction time. The work is based on the Event Calculus of Kowalski & Sergot.  ...  The semantics of transaction time is formalised and the axioms of the Event Calculus are modified to cater for temporal databases.  ...  s[10, 14] treatment of time in deductive databases and Allen's interval temporal logic[ 11.  ... 
dblp:conf/vldb/Sripada88 fatcat:wv3gpwvdxffvjacd2arauzd7ty

A Non-standard Temporal Deductive Database System

1996 Journal of symbolic computation  
A new temporal deductive database system supporting a non-standard model of time is introduced.  ...  It consists of Non-standard Temporal Datalog (nstl) and Non-standard Temporal Relational Algebra (nstra).  ...  Ullman, 1988) , can be regarded as deductive databases.  ... 
doi:10.1006/jsco.1996.0070 fatcat:g4stygmanzg6tmyjj42mwjxa2i

Polynomial time query processing in temporal deductive databases

Jan Chomicki
1990 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '90  
We study conditions guaranteeing polynomial time computability of queries in temporal deductive databases.  ...  We show that if for a given set of temporal rules, the period of its least models is bounded from the above by a polynomial in the database size, then also the time to process yes-no queries (as well as  ...  A temporal deductive database (TDD) is a finite set of temporal rules and a temporal database.  ... 
doi:10.1145/298514.298589 dblp:conf/pods/Chomicki90 fatcat:pc7uq2i3oje2bhotg2noxbiyy4

Temporal stratification tests for linear and branching-time deductive databases

Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis
2005 Theoretical Computer Science  
We consider the problem of extending temporal deductive databases with stratified negation.  ...  We argue that the classical stratification test for deductive databases is too restrictive when one shifts attention to the temporal case.  ...  deductive databases.  ... 
doi:10.1016/j.tcs.2005.05.014 fatcat:c4ggsqvoqrdxbe3hk2uogjr4ge

On the representation of infinite temporal data and queries (extended abstract)

Marianne Baudinet, Marc Niézette, Pierre Wolper
1991 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '91  
Note that in this type of temporal databases, the deductive layer is used to de ne the temporal extension of all predicates, not just of derived predicates.  ...  We de ne a deductive query language that operates on the temporal databases of KSW90] . This language allows the de nition of predicates that operate on several temporal arguments.  ... 
doi:10.1145/113413.113439 dblp:conf/pods/BaudinetNW91 fatcat:ket5al6vtjg63m3gwm62agkpiu

A Relational Algebra as a Query Language for Temporal DATALOG [chapter]

Mehmet A. Orgun, William W. Wadge
1992 Database and Expert Systems Applications  
This paper introduces a temporal relational algebra as a query language for temporal deductive databases, i.e., Temporal Datalog programs.  ...  Users query temporal deductive databases using a temporal relational algebra (TRA), which is a pointwise extension of the relational algebra.  ...  from a given temporal deductive database.  ... 
doi:10.1007/978-3-7091-7557-6_48 fatcat:hnfzpzl4lzgltfds4g7jr25tr4

Page 1188 of Mathematical Reviews Vol. , Issue 97B [page]

1997 Mathematical Reviews  
Programs of Temporal Datalog are considered as temporal deductive databases, 68 COMPUTER SCIENCE 1188 specifying temporal relationships among data and providing base relations to the algebraic front-end  ...  Summary: “This article introduces a temporal deductive database system featuring a logic programming language and an algebraic front-end.  ... 

A temporal-probabilistic database model for information extraction

Maximilian Dylla, Iris Miliaraki, Martin Theobald
2013 Proceedings of the VLDB Endowment  
Specifically, we consider a combination of temporal deduction rules, temporal consistency constraints and probabilistic inference based on the common possible-worlds semantics with data lineage, and we  ...  In this paper, we present a temporalprobabilistic database model for cleaning uncertain temporal facts obtained from information extraction methods.  ...  Temporal Databases.  ... 
doi:10.14778/2556549.2556564 fatcat:hjherebykfdozehcjp4jugqeum

Querying and Learning in Probabilistic Databases [chapter]

Maximilian Dylla, Martin Theobald, Iris Miliaraki
2014 Lecture Notes in Computer Science  
Probabilistic Databases (PDBs) lie at the expressive intersection of databases, first-order logic, and probability theory.  ...  PDBs employ logical deduction rules to process Select-Project-Join (SPJ) queries, which form the basis for a variety of declarative query languages such as Datalog, Relational Algebra, and SQL.  ...  This article is based on the doctoral dissertation by Maximilian Dylla: "Efficient Querying and Learning in Probabilistic and Temporal Databases", Saarland University, February 2014 [22] .  ... 
doi:10.1007/978-3-319-10587-1_8 fatcat:552ubysvrzdjhnwv77zisjszfi

Dynamic integrity constraints definition and enforcement in databases: a classification framework [chapter]

M. A. Pacheco Silva
1997 Integrity and Internal Control in Information Systems  
A dynamic constraint expresses conditions that involve facts of two or more states of the database.  ...  Since the database is expected to satisfy such conditions, a fundamental issue about integrity constraints is their enforcement. Many methods have been developed in this respect.  ...  We present the approaches grouped by the kind of the database considered, in this sequence: relational, deductive, object-oriented, deductive object-oriented, active and temporal databases.  ... 
doi:10.1007/978-0-387-35317-3_4 fatcat:gyyz3ehp2bfghfmlodgdf6eebq

A Temporal Query System for Protocol-Directed Decision Support

A. K. Das, M. A. Musen
1994 Methods of Information in Medicine  
Abstract:Chronus is a query system that supports temporal extensions to the Structured Query Language (SQL) for relational databases.  ...  Although the relational data model can store time-stamped data and can permit simple temporal-comparison operations, it does not provide either a closed or a sufficient algebra for manipulating temporal  ...  supported complex temporal deductions within the database system or provided data-access techniques within the protocol-planner.  ... 
doi:10.1055/s-0038-1635036 fatcat:ueeiwphcuvdvxji3jozkdkoqaq

Integrating dynamic aspects into deductive object-oriented databases [chapter]

Wolfgang May, Christian Schlepphorst, Georg Lausen
1997 Lecture Notes in Computer Science  
We s h o w h o w the dynamics of database systems can be modeled by making states rst-class citizens in an object-oriented deductive database language.  ...  The method is applicable to arbitrary object-oriented deductive database languages which provide a su ciently exible syntax and semantics.  ...  temporal logics.  ... 
doi:10.1007/3-540-63516-5_15 fatcat:qzqxzhhxpbfqtkxb6s5y5tyeii

A dynamic distributed architecture for temporal data abstraction

Vijay P Chauhan, Martin J O'connor, Amar K Das
2006 AMIA Annual Symposium Proceedings  
approaches for such methods using large databases.  ...  Considerable prior work has been taken by researchers to address the need for temporal data deduction in biomedical applications, but relatively little research has examined how to create robust, efficient  ...  INTRODUCTION We have previously developed a system called RASTA to support deductive reasoning in database applications [1] .  ... 
pmid:17238500 pmcid:PMC1839615 fatcat:adhincx6bnhwtolr32tnfucfya

Prototyping a genetics deductive database

C Hearne, Z Cui, S Parsons, S Hajnal
1994 Proceedings. International Conference on Intelligent Systems for Molecular Biology  
We are developing a laboratory notebook system known as the Genetics Deductive Database.  ...  The Genetics Deductive Database is built using new database technology which provides an object-oriented conceptual model, a declarative rule language, and a procedural update language.  ...  Acknowledgements This research was partly supported by the European Commission under ESPRIT Project 6333 IDEA (Intelligent Database Environments for Advanced Applications).  ... 
pmid:7584387 fatcat:zhlsegwikzcwhemdlse5zapwii

Subject Index

2005 Journal of Applied Logic  
deductive systems On negation: Pure local rules, 185 Adaptive logics A procedural criterion for final derivability in inconsistency-adaptive logics, 221  ...  models Models for a paraconsistent set theory, 15 Virtual data integration Deductive databases for computing certain and consistent answers from mediated data integration systems, 329 XML Logic-based XML  ...  Conflict of norms Temporal realization operators Combinations of tense and deontic modality: On the R t approach to temporal logic with historical necessity and conditional obligation, 421 Topological  ... 
doi:10.1016/s1570-8683(05)00059-5 fatcat:g7c4i2tzd5ge3c57t3r4sz77gq
« Previous Showing results 1 — 15 out of 21,580 results