Algebraic and calculus query languages for recursively typed complex objects

DOI10.1016/0022-0000(93)90022-OMaRDI QIDQ686644zbMATHOpenAlexFDO

Authors Richard Hull, Jianwen Su

Publication date 10 October 1993

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(93)90022-o

zbMATH Keywords

query languagesrecursively typed complex objects

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Deductive query languages for recursively typed complex objects
• scientific article; zbMATH DE number 3967897
• Extended algebra and calculus for nested relational databases
• A typed, algebraic, computational lambda-calculus
• Database query languages embedded in the typed lambda calculus
• Algebraic optimization of object-oriented query languages
• A Framework for Extended Algebraic Data Types
• A query language for formal mathematical libraries
• Algebraic approach to formalization of deductive query languages

Cites work

• scientific article; zbMATH DE number 3834013 (Why is no real title available?)
• scientific article; zbMATH DE number 4064536 (Why is no real title available?)
• scientific article; zbMATH DE number 4064541 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• A calculus for complex objects
• A relational model of data for large shared data banks
• Algebraic and calculus query languages for recursively typed complex objects
• Computable queries for relational data bases
• Datalog extensions for database queries and updates
• Extended algebra and calculus for nested relational databases
• On Database Logic
• On the expressive power of database queries with intermediate types
• Procedural languages for database queries and updates
• Structure and complexity of relational queries

Cited in

(10)

• Structural recursion as a query language on lists and ordered trees
• Database query languages embedded in the typed lambda calculus
• Finitely representable databases
• On the expressive power of database queries with intermediate types
• Tractable query languages for complex object databases
• Algebraic and calculus query languages for recursively typed complex objects
• The expressive power of stratified logic programs with value invention
• A recursive object algebra based on aggregation abstraction for manipulating complex objects
• Typed query languages for databases containing queries
• scientific article; zbMATH DE number 176244 (Why is no real title available?)

This page was built for publication: Algebraic and calculus query languages for recursively typed complex objects

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