See this document in CiteSeerX!

Spatio-Temporal Reasoning with LDLT: first steps towards a deductive system for geographical applications  (Make Corrections)  
M.E. Carboni, A. Di Deo, F. Giannotti, M.V. Masserotti
DDLP



  Home/Search   Context   Related

 
View or download:
first.gmd.de/persons/a...new_ddlp.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  first.gmd.de/persons/ann...papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: In this paper we describe our experiment using an extension of the deductive database system LDL ++ [AOTZ93, AOZ93, AO93] to express situations that need spatio-temporal reasoning in Sea monitoring. The temporal extension we used is LDLT [DM94], a temporal database proposal that integrates the expressiveness and deductive power of the logic language LDL [NT88] with the possibility to perform temporal reasoning based on the Interval Algebra by Allen [All83]. The aim of our work is to realize an... (Update)

Active bibliography (related documents):   More   All
0.5:   Data Models and Query Languages of Spatio-Temporal Information - Chen (2001)   (Correct)
0.2:   Universal Temporal Data Languages - Chen, Zaniolo (1998)   (Correct)
0.2:   Explaining Program Execution in Deductive Systems - Arora, Ramakrishnan, Roth.. (1993)   (Correct)

Similar documents based on text:   More   All
0.3:   A Logic Abstract Machine for Active Object-Oriented Databases - Carboni, al. (1996)   (Correct)
0.3:   Nondeterministic, Nonmonotonic Logic Databases - Giannotti, Manco, Nanni..   (Correct)
0.2:   A Deductive Data Model for Representing and Querying.. - Giannotti, Manco.. (1997)   (Correct)

BibTeX entry:   (Update)

@inproceedings{ carboni96spatiotemporal,
    author = "Marilisa E. Carboni and Annalisa Di Deo and Fosca Giannotti and Maria V. Masserotti",
    title = "Spatio-Temporal Reasoning with {LDLT}: First Steps Towards a Deductive System for Geographical Applications",
    booktitle = "{DDLP}",
    pages = "135-151",
    year = "1996",
    url = "citeseer.ist.psu.edu/112052.html" }
Citations (may not include all citations):
1044   Maintaining Knowledge about Temporal Intervals (context) - Allen - 1983
191   Temporal Databases (context) - Ahn, Snodgrass - 1986
141   ACM Transactions on Database Systems (context) - Snodgrass, query - 1987
113   Relations and Logic (context) - Ramakrishnan, Srivastava et al. - 1992
60   Temporal Deductive Databases - Baudinet, Chomicki et al. - 1993
40   Implementation of the CORAL Deductive Database System - Ramakrishnan, Srivastava et al. - 1993
25   Time in Geographic Information Systems (context) - Langran - 1993
24   Design and Implementation (context) - Tansel, Clifford et al. - 1993
21   A logic language for data and knowledge bases (context) - Naqvi, Tsur - 1988
18   a second generation deductive databases system (context) - Arni, Ong et al. - 1993
15   Managing Time in GIS: An Event Oriented Approach (context) - Claramunt, Th'eriault - 1995
12   Polynomial Time Computable Queries in Temporal Deductive Dat.. (context) - Chomicki - 1990
4   Temporal Databases (context) - Chomicki - 1993
4   Negation and aggregates in recursive rules: the LDL ++ appro.. (context) - Arni, Ong et al. - 1993
4   The CORAL User Manual (context) - Ramakrishnan, Srivastava et al. - 1993
2   for spatio-temporal reasoning in Atmospheric Science Databas.. (context) - Muntz, Shek et al. - 1995
1   The state of GIS for Environmental Problem-Solving (context) - Goodchild - 1993
1   MCC Technical Report (context) - Arni, Ong et al. - 1993
1   LDLT: una proposta di database temporale come estensione di .. (context) - Di Deo, Meschini - 1994

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC