Applying simple theory of types to data bases

DOI10.1016/0306-4379(81)90004-1zbMath0482.68093OpenAlexW1996742209MaRDI QIDQ1162830

Pavel Materna, Jaroslav Pokorný

Publication date: 1981

Published in: Information Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0306-4379(81)90004-1

zbMATH Keywords

data modeltyped lambda-calculusintensionsconceptual schemacomparison with relational data modelentity-association model

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05) Information storage and retrieval of data (68P20) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unnamed Item

This page was built for publication: Applying simple theory of types to data bases