The branching-time transformation technique for chain datalog programs

DOI10.1023/A:1012502800961zbMath0985.68020MaRDI QIDQ5952811

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

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

Related Items (2)

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

Uses Software

• CACTUS
• Datalog

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