Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View

机译：关系微积分背景下的ER模型的代数语义。二：动态检视

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We provide a detailed analysis of the insertion operations for an ER-model represented in terms of the map calculus. This continues our previous study of compiling an ER model into the abstract setting of what might be called logic without variables.

机译：我们提供了根据地图演算表示的ER模型的插入操作的详细分析。这将继续我们先前的研究，即将ER模型编译为所谓的无变量逻辑的抽象设置。

著录项

来源
《6th International Conference on Relational Methods in Computer Science RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI(Theory and Application of Relational Structures as Knowledge Instruments), Oct 16-21, 2001, Oisterwijk, The Netherlands》|2001年|p.50-65|共16页
会议地点 Oisterwijk(NL);Oisterwijk(NL);Oisterwijk(NL)
作者
Ernst-Erich Doberkat; Eugenio G. Omodeo;
展开▼
作者单位

Department of Computer Science, Universitaet Dortmund, Dortmund, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. The Algebraic Structure of Quantity Calculus II: Dimensional Analysis and Differential and Integral Calculus [J] . Raposo Alvaro P. Nature reviews Cancer . 2019,第2期

机译：数量微积分II的代数结构：尺寸分析和差分和整体微积分
2. The Algebraic Structure of Quantity Calculus II: Dimensional Analysis and Differential and Integral Calculus [J] . álvaro P. Raposo Mineralogia . 2019,第2期

机译：数量微积分的代数结构：维度分析和微分与积分
3. Dynamics of chains with non-monotone stress- strain relations. II. Nonlinear waves and waves of phase transition [J] . Alexander M. Balk, Andrej V. Cherkaev, Leonid I.Slepyan Journal of the Mechanics and Physics of Solids . 2001,第1期

机译：具有非单调应力-应变关系的链动力学。二。非线性波和相变波
4. Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View [C] . Ernst-Erich Doberkat, Eugenio G. Omodeo International conference on relational methods in computer science . 2002

机译：关系中的跨模型的代数语义。 II：动态视图
5. Three topics in analysis: (I) The fundamental theorem of calculus implies that of algebra, (II) Mini sums for the Riesz representing measure, and (III) Holomorphic domination and complex Banach manifolds similar to Stein manifolds. [D] . Mathew, Panakkal J. 2011

机译：分析中的三个主题：（I）微积分的基本定理表示代数的基本定理，（II）Riesz表示测度的最小和，以及（III）与Stein流形相似的全纯控制和复杂Banach流形。
6. THE RESIDUE CALCULUS AND SOME TRANSCENDENTAL RESULTS IN ALGEBRAIC GEOMETRY II [O] . Phillip A. Griffiths 1966

机译：代数几何中的残差计算和一些超越结果II
7. Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view. [O] . Doberkat Ernst-Erich, Omodeo Eugenio G. 2002

机译：在关系演算的上下文中，ER模型的代数语义。 II：动态视图。

Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View

摘要

著录项

相似文献

相关主题

期刊订阅