Temporal versus first-order logic to query temporal databases

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - PODS

Volumn , Issue , 1996, Pages 49-57

  Abiteboul, Serge ^a   Herr, Laurent ^a   Van den Bussche, Jan ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; DATA STRUCTURES; FORMAL LOGIC; QUERY LANGUAGES; THEOREM PROVING;

COMMUNICATION COMPLEXITY; DATABASE HISTORY; FIRST ORDER LOGIC QUERIES; QUERY TEMPORAL DATABASES; RELATIONAL CALCULUS; TIMESTAMP REPRESENTATION;

RELATIONAL DATABASE SYSTEMS;

EID: 0029706595     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/237661.237674     Document Type: Conference Paper

References (16)