Algebraic and calculus query languages for recursively typed complex objects
From MaRDI portal
Publication:686644
DOI10.1016/0022-0000(93)90022-OzbMATH Open0781.68046OpenAlexW2063323989MaRDI QIDQ686644FDOQ686644
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
Cites Work
- Computable queries for relational data bases
- A relational model of data for large shared data banks
- Datalog extensions for database queries and updates
- A calculus for complex objects
- Extended algebra and calculus for nested relational databases
- On the expressive power of database queries with intermediate types
- Structure and complexity of relational queries
- Procedural languages for database queries and updates
- On Database Logic
- Algebraic and calculus query languages for recursively typed complex objects
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Algebraic and calculus query languages for recursively typed complex objects
- Database query languages embedded in the typed lambda calculus
- Tractable query languages for complex object databases
- Finitely representable databases
- On the expressive power of database queries with intermediate types
- Title not available (Why is that?)
- A recursive object algebra based on aggregation abstraction for manipulating complex objects
- Structural recursion as a query language on lists and ordered trees
- Typed query languages for databases containing queries
- The expressive power of stratified logic programs with value invention
Recommendations
- Deductive query languages for recursively typed complex objects 👍 👎
- Title not available (Why is that?) 👍 👎
- 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 👍 👎
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)
