Computation-Tuple Sequences and Object Histories.

Seymour Ginsburg, Katsumi Tanaka: Computation-Tuple Sequences and Object Histories. ACM Trans. Database Syst. 11(2): 186-212(1986)

@article{DBLP:journals/tods/GinsburgT86,
  author    = {Seymour Ginsburg and
               Katsumi Tanaka},
  title     = {Computation-Tuple Sequences and Object Histories},
  journal   = {ACM Trans. Database Syst.},
  volume    = {11},
  number    = {2},
  year      = {1986},
  pages     = {186-212},
  ee        = {http://doi.acm.org/10.1145/5922.5924, db/journals/tods/GinsburgT86.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Abstract

A record-based, algebraically-oriented model is introduced for describing data for "object histories" (with computation), such as checking accounts, credit-card accounts, taxes, schedules, and so on. The model consists of sequences of computation tuples defined by a computation-tuple sequence scheme (CSS). The CSS has three major features (in addition to input data): computation (involving previous computation tuples), "uniform" constraints (whose satisfaction by a computation-tuple sequence u implies satisfaction by every interval of u), and specific sequences with which to start the valid computation-tuple sequences. A special type of CSS, called "local," is singled out for its relative simplicity in maintaining the validity of a computation-tuple sequence. A necessary and sufticient condition for a CSS to be equivalent to at least one local CSS is given. Finally, the notion of "local bisimulatability" is introduced for regarding two CSS as conveying the same information, and two results on local bisimulatability in connection with local CSS are established.

Copyright © 1986 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 1, TODS 1976-1990" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An3-1 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD2 or /dvd

BibTeX

References

[1]: ...
[2]: James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983) BibTeX
[3]: Clarence A. Ellis, Gary J. Nutt: Office Information Systems and Computer Science. ACM Comput. Surv. 12(1): 27-60(1980) BibTeX
[4]: William Kent: Limitations of Record-Based Information Models. ACM Trans. Database Syst. 4(1): 107-131(1979) BibTeX
[5]: ...
[6]: Robert Purvy, Jerry Farrell, Paul Klose: The Design of Star's Records Processing: Data Processing for the Noncomputer Professional. ACM Trans. Inf. Syst. 1(1): 3-24(1983) BibTeX
[7]: ...
[8]: Michael Stonebraker, Heidi Stettner, Nadene Lynn, Joseph Kalash, Antonin Guttman: Document Processing in a Relational Database System. ACM Trans. Inf. Syst. 1(2): 143-158(1983) BibTeX
[9]: Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX

Referenced by

Wilfred Ng: Extending Functional Dependencies in Indefinite Sequence Relations. ER 1999: 399-412
Katsumi Tanaka, Eitetsu Ohmoto: HistoryChart: A Visual Language for Historical Databases. DASFAA 1989: 18-24
Seymour Ginsburg, Stephen Kurtzman: Object-History and Spreadsheet P-Simulation. ICDT 1988: 383-395
Shashi K. Gadia: Toward a Multihomogeneous Model for a Temporal Database. ICDE 1986: 390-397
Seymour Ginsburg, Katsumi Tanaka: Interval Queries on Object Histories: Extended Abstract. VLDB 1984: 208-217

BibTeX

ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]