On the feasibility of checking temporal integrity constraints

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

Volumn , Issue , 1993, Pages 202-213

  Chomicki, Jan ^a   Niwinski, Damian ^a  

^a KANSAS STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; LOGIC PROGRAMMING;

TEMPORAL LOGIC;

DATABASE SYSTEMS;

EID: 0027887430     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/153850.153876     Document Type: Conference Paper

References (16)