Title: | ON THE EXPRESSIVE POWER OF INFINITE TEMPORAL DATABASES |
Authors: | Kuper, Gabriel M. Tuzhilin, Alex |
Issue Date: | Apr-1992 |
Publisher: | Stern School of Business, New York University |
Series/Report no.: | IS-92-16 |
Abstract: | We discuss different techniques for representing infinite temporal data. There are two basic approaches: A procedural description, as used in production systems, and represented, in this paper, by a version of Datalog. The second approach is a more declarative method, using some form of temporal logic programming. We examine several versions of each approach, and compare their expressive power, i.e., what temporal data each formalism can capture. |
URI: | http://hdl.handle.net/2451/14332 |
Appears in Collections: | IOMS: Information Systems Working Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
IS-92-16.pdf | 3.06 MB | Adobe PDF | View/Open |
Items in FDA are protected by copyright, with all rights reserved, unless otherwise indicated.