Algebraic approach to formalization of deductive query languages

zbMATH Open0875.68363MaRDI QIDQ1817160FDOQ1817160

Authors: V. I. Zadorozhnyj, N. S. Nikitchenko 

Publication date: 13 May 1997

Published in: Programming and Computer Software (Search for Journal in Brave)

Recommendations

• An Introduction to the Formal Specification of Relational Query Languages
• Comparison of functional and predicative query paradigms
• A relational algebra for functional logic deductive databases
• An algebraic approach to the formalization of some deduction techniques
• scientific article; zbMATH DE number 3874667

zbMATH Keywords

deductive databasesdeductive query languages

Mathematics Subject Classification ID

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

Cited In (3)

• Algebraic and calculus query languages for recursively typed complex objects
• Formal system of definition of data sets as a high-level tool of data extraction
• An algebraic approach to the formalization of some deduction techniques

This page was built for publication: Algebraic approach to formalization of deductive query languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817160)