.png){kind=icon}
返回
ROL: A deductive object base language
.png){kind=icon}
PRE
AI
DOI：10.1016/0306-4379(96)84500-5.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
This paper presents a novel deductive object-oriented database language, called ROL (Rule-based Object Language), which is being developed at the University of Regina. ROL effectively integrates important features of object-oriented databases and deductive databases into a uniform framework. It supports object identity, complex objects, classes, class hierarchy, multiple inheritance with overriding, and schema. It also supports structured values such as functor objects and sets, treats them as first class citizens, and provides powerful mechanisms for representing both partial and complete information on sets. It is an extension of pure valued-oriented deductive languages such as Datalog and LDL (without grouping) and subsumes them as special cases. Another novelty is the introduction of a new ordering which can capture the intended semantics of nested sets. The ROL language is given a logical semantics based on this new ordering that accounts in a clean and declarative fashion for all of its object-oriented and value-oriented features as well as the usage of schema in a deductive framework. Copyright (C) 1996 Elsevier Science Ltd
Keyword:
deductive object-oriented databases
deductive databases
object-oriented databases
logic programming
minimal model semantics
fixpoint semantics
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.9
论文数:
2.8K
被引数:
1.8K
机构
暂无机构信息
引用论文
Calcineurin Signaling Mediates Disruption of the Axon Initial Segment Cytoskeleton after Injury.png)
iScience
OAAI
iScienceIF0
OAAI分享收藏Negotiating Social Justice Teaching: One Full-Time Teacher's Practice Viewed From the Trenches协商社会公正教学：一位全职教师的实践，从一线视角来看
PREAI
分享收藏
Why People Stay : The Impact of Community Context on Nonmigration in the USA为何人们留下：社区环境对美国非迁移现象的影响
PREAI
分享收藏
查看更多内容