scientific article; zbMATH DE number 1182730

zbMath0908.03037MaRDI QIDQ4400802

Michael Kifer, Anthony J. Bonner

Publication date: 18 March 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

database updatesdeductive databaseslogic databaseslogic of state changelogic programming with updatesTransaction Logic

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Logic programming (68N17)

Related Items (4)

Planning with regression analysis in transaction logic ⋮ Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic ⋮ HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems ⋮ Formalizing Goal Serializability for Evaluation of Planning Features

Uses Software

• GOLOG

This page was built for publication: