The branching-time transformation technique for chain datalog programs

DOI10.1023/A:1012502800961zbMATH Open0985.68020MaRDI QIDQ5952811FDOQ5952811

Panos Rondogiannis, Manolis Gergatsoulis

Publication date: 22 January 2002

Published in: Journal of Intelligent Information Systems (Search for Journal in Brave)

zbMATH Keywords

Branching Datalogbranching-time logic programmingbranching-time transformationChain Datalog

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Cited In (2)

• Temporal stratification tests for linear and branching-time deductive databases
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

Uses Software

• CACTUS
• Datalog

   Recommendations

• A value-propagating transformation technique for Datalog programs based on non-deterministic constructs 👍 👎
• Title not available (Why is that?) 👍 👎
• Branching-time logic programming: the language Cactus and its applications 👍 👎
• The transformational approach to program development 👍 👎
• Linear time Datalog and branching time logic 👍 👎

This page was built for publication: The branching-time transformation technique for chain datalog programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5952811)