scientific article; zbMATH DE number 219219

zbMath0789.68017MaRDI QIDQ4694701

Irène Guessarian

Publication date: 29 June 1993

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

zbMATH Keywords

boundednessdecidabilityconnected Datalog programsuniformly connected programs

Mathematics Subject Classification ID

Logic programming (68N17) Information storage and retrieval of data (68P20)

Related Items (3)

Datalog Queries Distributing over Components ⋮ A datalog-based computational model for coordination-free, data-parallel systems ⋮ About boundedness for some datalog and DATALOGneg programs

Uses Software

• Datalog

This page was built for publication: