There is as yet no general agreement as to the best solution to the operation of time and negation in data bases. This paper presents an approach to handle these problems in a logic data base system. A simple logic interpreter is introduced that allows for effective reasoning based on the manipulation of a sequence of snapshots. These ideas have been realized in an extension to the query language Query-By-Example, which has been implemented in the logic programming language Prolog.
对于数据库中时间和求反运算的最佳解决方案,目前尚未达成共识。本文提出了一种在逻辑数据库系统中处理这些问题的方法。引入了一个简单的逻辑解释器,该逻辑解释器允许基于对快照序列的操作进行有效的推理。这些想法是在查询语言Query-By-Example的扩展中实现的,该查询语言已在逻辑编程语言Prolog中实现。 P>
机译:用户知识,数据建模和可视化:通过模糊逻辑的方法处理
机译:基于自适应模糊逻辑的框架,用于处理生物信息学数据集分类中的不精确性和不确定性
机译:辩证逻辑K模型:离散时间动态采样系统,多维逻辑变量和关联数据库(ADB)
机译:基于有反,否定和中等否定的模糊逻辑的模糊决策
机译:基于自适应模糊逻辑的框架,用于处理生物信息学数据集模式分类中的不精确性和不确定性。
机译:实时无线传感器网络的基于模糊逻辑的保证寿命协议
机译:矛盾的主张如何被否定? -基于权威,条约等的否定逻辑-
机译:sOsTEL(固态电逻辑)设计矩阵,DHs(数据处理系统)配置控制和技术咨询。