Algebraic approach to formalization of deductive query languages

MaRDI QIDQ1817160zbMATHFDO

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

Publication date 13 May 1997

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

zbMATH Keywords

deductive databasesdeductive query languages

Mathematics Subject Classification ID

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

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

Cited in

(3)

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

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)