Logic based modeling and analysis of workflows

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

Volumn , Issue , 1998, Pages 25-33

  Davulcu, Hasan ^a   Kifer, Michael ^a   Ramakrishnan, C R ^a   Ramakrishnan, I V ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; DATA FLOW ANALYSIS; DECISION THEORY; FORMAL LOGIC; THEOREM PROVING;

CONCURRENT TRANSACTION LOGIC; GLOBAL TEMPORAL CONSTRAINTS; WORKFLOWS;

DATABASE SYSTEMS;

EID: 0031641774     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/275487.275491     Document Type: Conference Paper

References (29)