Generalization of ZYT-linearizability for bilinear datalog programs
type: Item
instance of: scholarly article
title: Generalization of ZYT-linearizability for bilinear datalog programs
zbMATH Open document ID: 1078.68023
DOI: 10.1016/S0890-5401(03)00172-X
author: Ji-Hoon Kang
author: Ki-Hyung Hong
author: Kyu-Young Whang
author: Jung Wan Cho
published in: Information and Computation
publication date: 2004-11-23T00:00:00Z
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 2118426
zbMATH Keywords: Deductive databases
zbMATH Keywords: Datalog programs
zbMATH Keywords: Bilinear rules
zbMATH Keywords: Linearizability
describes a project that uses: Datalog
MaRDI profile type: Publication
cites work: Undecidable optimization problems for database logic programs
cites work: Conjunctive-query containment and constraint satisfaction
cites work: Argument reduction by factoring
cites work: Logical query optimization by proof-tree transformation
cites work: On the efficiency of transforming database logic programs
full work available at URL: s0890-5401(03)00172-x
OpenAlex ID: W2009809429
description: scientific article; zbMATH DE number 2118426