Infirm
发表于 2025-3-23 10:55:07
http://reply.papertrans.cn/27/2634/263346/263346_11.png
不能平静
发表于 2025-3-23 17:52:40
International Political Economy SeriesThe DBPL system and its environment support the modular implementation of advanced data-intensive applications based on integrated database and programming language technology. It provides state-of-the-art system support at application compile-, link- and run-time as well as tools for incremental application evolution.
两种语言
发表于 2025-3-23 20:50:13
http://reply.papertrans.cn/27/2634/263346/263346_13.png
inhibit
发表于 2025-3-24 01:30:01
Representing Knowledge About Information Systems in TelosTelos . knowledge-intensive . the primary responsibility of any language intended for the task is to be able to formally represent the relevant knowledge.
特征
发表于 2025-3-24 02:29:08
http://reply.papertrans.cn/27/2634/263346/263346_15.png
不透明
发表于 2025-3-24 08:49:51
https://doi.org/10.1057/9781137521309asses of the proposed system, the functions and transactions manipulating them, and the larger conceptual groupings of these actions into long-term activities, which we call scripts. The design of the language is based on ideas from semantic data models and formal specification languages.
眨眼
发表于 2025-3-24 12:30:43
Introduction: A Storm in a Teacup? construction of correct, modular and efficient database programs integrating well-developed compilation and database technology..After an introduction to the language concepts of DBPL, two methodological aspects central to the implementation of database applications are discussed. The first task is
KEGEL
发表于 2025-3-24 16:25:07
https://doi.org/10.1057/9781137409997guage and related approaches using the concepts of semantic networks and frame-based systems started relatively early. Especially the concepts of objects, systematized by abstraction principles of.turned out to be very suitable for the specification of large Information Systems
声音刺耳
发表于 2025-3-24 20:38:21
https://doi.org/10.1057/9781137409997he study of security aspects. The modeling framework is the Group Security Model (GSM) which describes access rights through a teamwork-oriented organizational model. Reasoning about GSM application models is enabled by representing them in a deductive and object-oriented database language, Telos. A
Adulate
发表于 2025-3-25 01:42:32
Turkey, Kemalism, and the “Deep State”fe cycle is lost. This knowledge, which we call the process knowledge, involving the deliberation on alternative requirements and design decisions, is lost in the course of designing and changing such systems. Extending earlier work, we present a formalism called REMAP (REpresentation and MAintenanc