Parley
发表于 2025-3-30 09:00:09
The Type System of Galileoramming languages (data types, abstract data types, modules) and the abstraction mechanisms of semantic data models (SDM) (classification, aggregation, generalization). Unlike other conceptual languages, Galileo is a strongly typed language which exploits the benefits of data types for modeling the
琐事
发表于 2025-3-30 16:05:54
Integrating Data Type Inheritance into Logic Programmingprogramming environment. . draws from the most recent theory and technology in typed relational and functional programming. We start by making general observations meant to put our work in context within the research community, and proceed to summarize that particular sublanguage of . which combines
有恶臭
发表于 2025-3-30 18:04:22
Class Hierarchies in Information Systems: Sets, Types, or Prototypes?. I begin by reviewing the various roles played by this concept in the development and maintenance of Information Systems: specification of type information, repository of constraints to be verified, and maintenance of an associated set of objects (the “extent”)..Examples are then given to demonstra
传授知识
发表于 2025-3-31 00:18:44
Language and Methodology for Object-Oriented Database Environmentsobject-oriented programming environment. The database language is illustrated by specifications of the UNIX file system, Ada packages, program structure, and multiple views of program modules. Each example illustrates a different feature of object-oriented programming methodology. Collectively the e
cochlea
发表于 2025-3-31 03:31:30
Persistence and Aldat the algebraic operators needed when including relations in a programming language. The relations discussed are the classical ones of Codd. The relational algebra consists of two families of binary operators and one of unary operators, and includes Codd’s as a special case. We also review a domain a
peritonitis
发表于 2025-3-31 05:21:03
http://reply.papertrans.cn/27/2632/263179/263179_56.png
枯萎将要
发表于 2025-3-31 09:34:39
http://reply.papertrans.cn/27/2632/263179/263179_57.png
Misgiving
发表于 2025-3-31 15:08:04
http://reply.papertrans.cn/27/2632/263179/263179_58.png