绅士
发表于 2025-3-30 10:22:03
Bulk Data Types, A Theoretical Approachg. We present a formal definition of bulk data types, based on parameterized algebraic specifications. We then define appropriate relationships between bulk types, and show that BDTs together with such relationships form a category with sets as the terminal object. We consider how to apply structura
PURG
发表于 2025-3-30 12:44:11
http://reply.papertrans.cn/27/2634/263374/263374_52.png
Tidious
发表于 2025-3-30 18:37:44
Ordered Types in the AQUA Data Modelance. This relationship can be a total or partial order among the elements or among equivalence classes where each equivalence class consists of one or more elements. In terms of data structures, ordered types can be viewed as graphs, trees, or lists..Lately there has been a lot of interest in bulk
resilience
发表于 2025-3-30 22:33:06
A Functional Object Database Languageet strong and statically checked, type system. Its main source of flexibility is its support for object evolution, that is, dynamic type changes of existing objects. Originally, BCOOL was used as a formal basis for a more traditional (relational algebra-style) database language, COOL. In this paper,
minimal
发表于 2025-3-31 04:08:56
The AQUA Data Model and Algebrat as a part of the EREQ project. The model adopts a uniform view of objects and values and separates syntactic, semantic, and implementation concerns. The algebra addresses issues of type-defined equality and duplicate elimination as well as extensions to bulk types other than sets.
Consensus
发表于 2025-3-31 05:38:31
An Abstract Object-Oriented Query Execution Languagethe question prompts us to address a different, though related question: What are appropriate abstractions for expressing object-oriented query execution plans? Our answer takes the form of a language that can serve as the interface between an optimizer and an execution engine. Our query execution l
BRAND
发表于 2025-3-31 10:01:51
http://reply.papertrans.cn/27/2634/263374/263374_57.png
ADORE
发表于 2025-3-31 15:14:05
http://reply.papertrans.cn/27/2634/263374/263374_58.png