A logical-functional approach to data bases

zbMath0558.68079MaRDI QIDQ802319

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

Publication date: 1984

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

zbMATH Keywords

denotational semanticsData structuresimperative logicrelational data basescomposition programmingquasirelational data basessemantics of data basessemantics of query languagesuniversal program logics

Mathematics Subject Classification ID

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

Related Items (1)

\(\Delta\)-languages for sets and LOGSPACE computable graph transformers

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