A logical-functional approach to data bases

MaRDI QIDQ802319zbMATH OpenFDO

Authors I. A. Basarab, V. N. Red'ko

Publication date 1984

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

zbMATH Keywords

denotational semanticsimperative logicData structuresrelational data basescomposition programmingquasirelational data basessemantics of data basessemantics of query languagesuniversal program logics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Information storage and retrieval of data (68P20) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Computability and recursion theory (03D99) General logic (03B99)

Recommendations

• scientific article; zbMATH DE number 3860438
• scientific article; zbMATH DE number 3917750
• Design criteria for functional data bases
• scientific article; zbMATH DE number 3905821
• scientific article; zbMATH DE number 3854473

Cited in

(18)

• scientific article; zbMATH DE number 2013749 (Why is no real title available?)
• -languages for sets and LOGSPACE computable graph transformers
• Design of logical database structure for data handling systems
• A formalization of the Codd algebra operations in logic \(\mathcal{SHOIN}(D)\)
• Formal restructuring functions for hierarchical data bases
• scientific article; zbMATH DE number 3917750 (Why is no real title available?)
• scientific article; zbMATH DE number 3972251 (Why is no real title available?)
• A relational algebra for functional logic deductive databases
• A Formal Coding Structure for Database Record Processing
• A new approach to database auto-design by logic
• scientific article; zbMATH DE number 4057057 (Why is no real title available?)
• scientific article; zbMATH DE number 4070292 (Why is no real title available?)
• scientific article; zbMATH DE number 3854473 (Why is no real title available?)
• scientific article; zbMATH DE number 3924168 (Why is no real title available?)
• scientific article; zbMATH DE number 3860438 (Why is no real title available?)
• Design criteria for functional data bases
• scientific article; zbMATH DE number 1823191 (Why is no real title available?)
• scientific article; zbMATH DE number 4005646 (Why is no real title available?)

This page was built for publication: A logical-functional approach to data bases

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