Modeling data-intensive reactive systems with relational transition systems

DOI10.1007/S002360050041zbMath0849.68084OpenAlexW2047117783MaRDI QIDQ1901696

Alexander Tuzhilin, Zvi M. Kedem

Publication date: 16 November 1995

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050041

zbMATH Keywords

trajectoriesproduction systemsrecurrence equationsnondeterminismreactive systemsrelational databasespredicate-transition networkstemporal logic programs

Mathematics Subject Classification ID

Database theory (68P15) Cellular automata (computational aspects) (68Q80) Logic programming (68N17)

Cites Work

• Temporal logic programming
• On Gabbay's temporal fixed point operator
• Datalog extensions for database queries and updates
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modeling data-intensive reactive systems with relational transition systems