Temporal Statement Modifiers

Michael H. Böhlen, Christian S. Jensen, Richard Thomas Snodgrass

Research output: Contribution to journalArticle

45 Citations (Scopus)

Abstract

A wide range of database applications manage time-varying data. Many temporal query languages have been proposed, each one the result of many carefully made yet subtly interacting design decisions. In this article we advocate a different approach to articulating a set of requirements, or desiderata, that directly imply the syntactic structure and core semantics of a temporal extension of an (arbitrary) nontemporal query language. These desiderata facilitate transitioning applications from a nontemporal query language and data model, which has received only scant attention thus far. The paper then introduces the notion of statement modifiers that provide a means of systematically adding temporal support to an existing query language. Statement modifiers apply to all query language statements, for example, queries, cursor definitions, integrity constraints assertions, views, and data manipulation statements. We also provide a way to systematically add temporal support to an existing implementation. The result is a temporal query language syntax, semantics, and implementation that derives from first principles. We exemplify this approach by extending SQL-92 with statement modifiers. This extended language, termed ATSQL, is formally defined via a denotational-semantics-style mapping of temporal statements to expressions using a combination of temporal and conventional relational algebraic operators.

Original languageEnglish (US)
Pages (from-to)407-456
Number of pages50
JournalACM Transactions on Database Systems
Volume25
Issue number4
StatePublished - Dec 2000

Fingerprint

Query languages
Semantics
Syntactics
Data structures

Keywords

  • ATSQL
  • Data description languages (DDL)
  • Data manipulation languages (DML)
  • H.2.3 [Database management]: Languages - Query languages
  • H.2.4 [Database management]: Systems - Relational databases
  • Languages
  • Query processing
  • Statement modifiers
  • Theory

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Information Systems
  • Software

Cite this

Böhlen, M. H., Jensen, C. S., & Snodgrass, R. T. (2000). Temporal Statement Modifiers. ACM Transactions on Database Systems, 25(4), 407-456.

Temporal Statement Modifiers. / Böhlen, Michael H.; Jensen, Christian S.; Snodgrass, Richard Thomas.

In: ACM Transactions on Database Systems, Vol. 25, No. 4, 12.2000, p. 407-456.

Research output: Contribution to journalArticle

Böhlen, MH, Jensen, CS & Snodgrass, RT 2000, 'Temporal Statement Modifiers', ACM Transactions on Database Systems, vol. 25, no. 4, pp. 407-456.
Böhlen, Michael H. ; Jensen, Christian S. ; Snodgrass, Richard Thomas. / Temporal Statement Modifiers. In: ACM Transactions on Database Systems. 2000 ; Vol. 25, No. 4. pp. 407-456.
@article{c66a30b543f042d18c1c9e8a392de5fb,
title = "Temporal Statement Modifiers",
abstract = "A wide range of database applications manage time-varying data. Many temporal query languages have been proposed, each one the result of many carefully made yet subtly interacting design decisions. In this article we advocate a different approach to articulating a set of requirements, or desiderata, that directly imply the syntactic structure and core semantics of a temporal extension of an (arbitrary) nontemporal query language. These desiderata facilitate transitioning applications from a nontemporal query language and data model, which has received only scant attention thus far. The paper then introduces the notion of statement modifiers that provide a means of systematically adding temporal support to an existing query language. Statement modifiers apply to all query language statements, for example, queries, cursor definitions, integrity constraints assertions, views, and data manipulation statements. We also provide a way to systematically add temporal support to an existing implementation. The result is a temporal query language syntax, semantics, and implementation that derives from first principles. We exemplify this approach by extending SQL-92 with statement modifiers. This extended language, termed ATSQL, is formally defined via a denotational-semantics-style mapping of temporal statements to expressions using a combination of temporal and conventional relational algebraic operators.",
keywords = "ATSQL, Data description languages (DDL), Data manipulation languages (DML), H.2.3 [Database management]: Languages - Query languages, H.2.4 [Database management]: Systems - Relational databases, Languages, Query processing, Statement modifiers, Theory",
author = "B{\"o}hlen, {Michael H.} and Jensen, {Christian S.} and Snodgrass, {Richard Thomas}",
year = "2000",
month = "12",
language = "English (US)",
volume = "25",
pages = "407--456",
journal = "ACM Transactions on Database Systems",
issn = "0362-5915",
publisher = "Association for Computing Machinery (ACM)",
number = "4",

}

TY - JOUR

T1 - Temporal Statement Modifiers

AU - Böhlen, Michael H.

AU - Jensen, Christian S.

AU - Snodgrass, Richard Thomas

PY - 2000/12

Y1 - 2000/12

N2 - A wide range of database applications manage time-varying data. Many temporal query languages have been proposed, each one the result of many carefully made yet subtly interacting design decisions. In this article we advocate a different approach to articulating a set of requirements, or desiderata, that directly imply the syntactic structure and core semantics of a temporal extension of an (arbitrary) nontemporal query language. These desiderata facilitate transitioning applications from a nontemporal query language and data model, which has received only scant attention thus far. The paper then introduces the notion of statement modifiers that provide a means of systematically adding temporal support to an existing query language. Statement modifiers apply to all query language statements, for example, queries, cursor definitions, integrity constraints assertions, views, and data manipulation statements. We also provide a way to systematically add temporal support to an existing implementation. The result is a temporal query language syntax, semantics, and implementation that derives from first principles. We exemplify this approach by extending SQL-92 with statement modifiers. This extended language, termed ATSQL, is formally defined via a denotational-semantics-style mapping of temporal statements to expressions using a combination of temporal and conventional relational algebraic operators.

AB - A wide range of database applications manage time-varying data. Many temporal query languages have been proposed, each one the result of many carefully made yet subtly interacting design decisions. In this article we advocate a different approach to articulating a set of requirements, or desiderata, that directly imply the syntactic structure and core semantics of a temporal extension of an (arbitrary) nontemporal query language. These desiderata facilitate transitioning applications from a nontemporal query language and data model, which has received only scant attention thus far. The paper then introduces the notion of statement modifiers that provide a means of systematically adding temporal support to an existing query language. Statement modifiers apply to all query language statements, for example, queries, cursor definitions, integrity constraints assertions, views, and data manipulation statements. We also provide a way to systematically add temporal support to an existing implementation. The result is a temporal query language syntax, semantics, and implementation that derives from first principles. We exemplify this approach by extending SQL-92 with statement modifiers. This extended language, termed ATSQL, is formally defined via a denotational-semantics-style mapping of temporal statements to expressions using a combination of temporal and conventional relational algebraic operators.

KW - ATSQL

KW - Data description languages (DDL)

KW - Data manipulation languages (DML)

KW - H.2.3 [Database management]: Languages - Query languages

KW - H.2.4 [Database management]: Systems - Relational databases

KW - Languages

KW - Query processing

KW - Statement modifiers

KW - Theory

UR - http://www.scopus.com/inward/record.url?scp=0042260804&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0042260804&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0042260804

VL - 25

SP - 407

EP - 456

JO - ACM Transactions on Database Systems

JF - ACM Transactions on Database Systems

SN - 0362-5915

IS - 4

ER -