A semantic approach to optimize linear datalog programs
type: Item
instance of: scholarly article
title: A semantic approach to optimize linear datalog programs
zbMATH Open document ID: 1104.68039
author: José R. Paramá
author: Nieves R. Brisaboa
author: Miguel R. Penabad
author: Ángeles S. Places
published in: Acta Informatica
publication date: 2006-12-06T00:00:00Z
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 5077605
zbMATH Keywords: Deductive databases
zbMATH Keywords: Semantic query optimization
zbMATH Keywords: SQL:1999
zbMATH Keywords: Recursion
Wikidata QID: Q113366394
describes a project that uses: DB2
describes a project that uses: Datalog
MaRDI profile type: Publication
full work available at URL: s00236-006-0025-9
OpenAlex ID: W2080339008
cites work: Boundedness is undecidable for datalog programs with a single recursive rule
cites work: Q4864249
cites work: A Proof Procedure for Data Dependencies
cites work: Q4939252
cites work: Database Theory - ICDT 2005
cites work: Q4414537
cites work: Variations on the Common Subexpression Problem
cites work: Undecidable optimization problems for database logic programs
cites work: A time bound on the materialization of some recursively defined views
cites work: Q3786039
cites work: Q3668890
cites work: The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG Programs
cites work: On recursive axioms in deductive databases
cites work: Perspectives of System Informatics
cites work: Preservation of integrity constraints in definite DATALOG programs
DOI: 10.1007/S00236-006-0025-9
Recommended article: Linearisability on Datalog programs
Recommended article: A linear algebraic approach to datalog evaluation
Recommended article: Q4003699
Recommended article: Q4386992
Recommended article: Q4707759
Recommended article: An effective fixpoint semantics for linear logic programs
Recommended article: Optimized algorithms for incremental analysis of logic programs
Recommended article: Fixpoint semantics and optimization of recursive Datalog programs with aggregates
Recommended article: Q5310438
description: scientific article; zbMATH DE number 5077605