• Home
  • Search
  • Polynomial time query processing in temporal deductive databases
  • Cite Icon46
  • https://doi.org/10.1145/298514.298589Copy DOI Icon

Polynomial time query processing in temporal deductive databases

  • Apr 2, 1990
  • Jan Chomicki
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

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 to compute finite representations of all query answers) can be polynomially bounded. We present a bottom-up query processing algorithm BT that is guaranteed to terminate in polynomial time if the periods are polynomially bounded. Polynomial periodicity is our most general criterion, however it can not be directly applied. Therefore, we exhibit two weaker criteria, defining inflationary and I-periodic sets of temporal rules. We show that it can be decided whether a set of temporal rules is inflationary. I-periodicity is undecidable (as we show), but it can be closely approximated by a syntactic notion of multi-separability.

Similar Papers
  • Research Article

Optimization of Query Processing in Versatile Database Using Ant Colony Algorithm

  • Mar 18, 2024
  • Journal of Information Systems and Telecommunication (JIST)
  • Hasan Asil
  • Research Article
  • Citations33

Query processing under GLAV mappings for relational and graph databases

  • Dec 01, 2012
  • Proceedings of the VLDB Endowment
  • Diego Calvanese +3
  • Conference Article
  • Citations218

Almost all primes can be quickly certified

  • Jan 01, 1986
  • S Goldwasser +1
  • Conference Article
  • Citations31

Handling redundancy in the processing of recursive database queries

  • Jan 01, 1987
  • Jiawei Han +1
  • Research Article
  • Citations12

Petri-net-based modeling and evaluation of pipelined processing of concurrent database queries

  • Jan 01, 1988
  • IEEE Transactions on Software Engineering
  • K.P Mikkilineni +2
  • Conference Article
  • Citations5

Optimal k-Nearest-Neighbor Query Processing via Multiple Lower Bound Approximations

  • Dec 01, 2018
  • Christian Beecks +1
  • Conference Article
  • Citations1

Query Learning of Derived Omega-Tree Languages in Polynomial Time

  • Jan 01, 2017
  • DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
  • Dana Angluin +2
  • Research Article

HorseIR: bringing array programming languages together with database query processing

  • Apr 06, 2020
  • ACM SIGPLAN Notices
  • Hanfeng Chen +4
  • Research Article
  • Citations20

Toxicology databases in the metadatabank of online databases

  • Jun 01, 1995
  • Toxicology
  • Kristina Voigt +1
  • Research Article
  • Citations12

Dynamic optimization of queries in pivot-based indexing

  • Oct 09, 2010
  • Multimedia Tools and Applications
  • Svein Erik Bratsberg +1
  • Conference Article
  • Citations676

Graph indexing

  • Jun 13, 2004
  • Xifeng Yan +2
  • Book Chapter

A Concatenated Signature Scheme on Path Dictionary for Query Processing of Composite Objects

  • Jan 01, 1998
  • Hakgene Shin +2
  • Research Article
  • Citations33

Design of Distributed Databases on Local Computer Systems with a Multiaccess Network

  • Jul 01, 1985
  • IEEE Transactions on Software Engineering
  • B.W Wah +1
  • Conference Article
  • Citations3

On fuzzy queries with contextual predicates

  • Aug 01, 2009
  • Patrick Bosc +2
  • Research Article
  • Citations83

Approximate Local Search in Combinatorial Optimization

  • Jul 16, 2003
  • SIAM Journal on Computing
  • James B Orlin +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.