Generalization of ZYT-linearizability for bilinear datalog programs

DOI10.1016/S0890-5401(03)00172-XzbMath1078.68023OpenAlexW2009809429MaRDI QIDQ1887164

Kyu-Young Whang, Ji-Hoon Kang, Jung Wan Cho, Ki-Hyung Hong

Publication date: 23 November 2004

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0890-5401(03)00172-x

zbMATH Keywords

Deductive databasesDatalog programsLinearizabilityBilinear rules

Mathematics Subject Classification ID

Database theory (68P15)

Uses Software

• Datalog

Cites Work

• Argument reduction by factoring
• Logical query optimization by proof-tree transformation
• Conjunctive-query containment and constraint satisfaction
• On the efficiency of transforming database logic programs
• Undecidable optimization problems for database logic programs

This page was built for publication: Generalization of ZYT-linearizability for bilinear datalog programs