Semantics of types for database objects

DOI10.1016/0304-3975(90)90012-7zbMath0702.68048OpenAlexW2166260471MaRDI QIDQ915443

Atsushi Ohori

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://repository.upenn.edu/cis_reports/780

zbMATH Keywords

relational data modeldatabase programming languagedatabase type systempolymorphic programming language

Mathematics Subject Classification ID

Database theory (68P15) Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Uses Software

• ML
• Miranda

Cites Work

• Fundamental properties of infinite trees
• Database relations with null values
• Restructuring hierarchical database objects
• Using powerdomains to generalize relational databases
• A theory of type polymorphism in programming
• Power domains
• An Approach to Persistent Programming
• Relative Information Capacity of Simple Relational Database Schemata
• The Format Model
• Extended algebra and calculus for nested relational databases
• A relational model of data for large shared data banks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics of types for database objects