Semantics of types for database objects

DOI10.1016/0304-3975(90)90012-7MaRDI QIDQ915443zbMATH OpenOpenAlexFDO

Authors Atsushi Ohori

Publication date 1990

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

database programming languagedatabase type systempolymorphic programming languagerelational data model

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4064450
• Principles of programming with complex objects and collection types
• scientific article; zbMATH DE number 1231466
• An algebraic approach to databases with complex objects
• scientific article; zbMATH DE number 1696786

Cites work

• A relational model of data for large shared data banks
• A theory of type polymorphism in programming
• An Approach to Persistent Programming
• Database relations with null values
• Extended algebra and calculus for nested relational databases
• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 3864476 (Why is no real title available?)
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 3941503 (Why is no real title available?)
• scientific article; zbMATH DE number 3951980 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 43017 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• Power domains
• Relative Information Capacity of Simple Relational Database Schemata
• Restructuring hierarchical database objects
• The Format Model
• Using powerdomains to generalize relational databases

Cited in

(10)

• Typed query languages for databases containing queries
• scientific article; zbMATH DE number 1696786 (Why is no real title available?)
• Binding and Type Checking in Database Programming Languages
• scientific article; zbMATH DE number 4064450 (Why is no real title available?)
• scientific article; zbMATH DE number 1231466 (Why is no real title available?)
• Type theory based domain data modeling and verification with case study
• Type theoretical databases
• A type system for DNAQL
• Refinements of complexity results on type consistency for object-oriented databases
• Principles of programming with complex objects and collection types

Describes a project that uses

Uses Software

• Miranda
• ML

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

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