Decidability and undecidability results for the termination problem of active database rules

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

Volumn , Issue , 1998, Pages 264-273

  Bailey, James ^a   Dong, Guozhu ^a   Ramamohanarao, Kotagiri ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; LOGIC PROGRAMMING; PROBLEM SOLVING; QUERY LANGUAGES;

ACTIVE DATABASE SYSTEMS; RULE LANGUAGES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0031638347     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/275487.275517     Document Type: Conference Paper

References (19)