Logic of knowledge and belief in the design of a distributed integrity kernel

Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications Pub Date : 1990-03-07 DOI:10.1109/PARBSE.1990.77167

S. Ramanna, J. Peters, E. A. Unger

{"title":"Logic of knowledge and belief in the design of a distributed integrity kernel","authors":"S. Ramanna, J. Peters, E. A. Unger","doi":"10.1109/PARBSE.1990.77167","DOIUrl":null,"url":null,"abstract":"Work on a language called ISL (Integrity Specification Language), which is intended to be used for the specification of integrity kernels in distributed databases, is reported. ISL is based on a form of interval temporal logic and provides a framework for a logic of knowledge and belief about data integrity. ISL is a design tool for integrity kernels in a distributed environment where the dynamic evaluation of data integrity based upon partial knowledge and informed judgment is required. The Clark and Wilson integrity model (1987) designed to prevent fraudulent and erroneous data modification is subsumed. An integrity system which includes extensions to the concept and functionality of a transaction manager as defined in the SDD-1 is given. A partial syntax for the ISL language is given. A temporal interval interpretation in the semantics of the 'unless' operator is introduced. This operator provides a basis for the logic of knowledge and belief applied to data integrity.<<ETX>>","PeriodicalId":389644,"journal":{"name":"Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PARBSE.1990.77167","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

Abstract

Work on a language called ISL (Integrity Specification Language), which is intended to be used for the specification of integrity kernels in distributed databases, is reported. ISL is based on a form of interval temporal logic and provides a framework for a logic of knowledge and belief about data integrity. ISL is a design tool for integrity kernels in a distributed environment where the dynamic evaluation of data integrity based upon partial knowledge and informed judgment is required. The Clark and Wilson integrity model (1987) designed to prevent fraudulent and erroneous data modification is subsumed. An integrity system which includes extensions to the concept and functionality of a transaction manager as defined in the SDD-1 is given. A partial syntax for the ISL language is given. A temporal interval interpretation in the semantics of the 'unless' operator is introduced. This operator provides a basis for the logic of knowledge and belief applied to data integrity.<>

查看原文本刊更多论文

逻辑知识与信念的分布式完整性内核设计

报告了一种名为ISL(完整性规范语言)的语言的工作，该语言旨在用于分布式数据库中完整性内核的规范。ISL基于间隔时间逻辑的一种形式，并为关于数据完整性的知识和信念逻辑提供了一个框架。ISL是分布式环境中完整性核的设计工具，在这种环境中需要基于部分知识和知情判断对数据完整性进行动态评估。Clark和Wilson完整性模型(1987)旨在防止欺诈和错误的数据修改。给出了一个完整性系统，该系统包括对SDD-1中定义的事务管理器的概念和功能的扩展。给出了ISL语言的部分语法。引入了“除非”操作符语义中的时间间隔解释。该算子为应用于数据完整性的知识和信念逻辑提供了基础。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications

自引率

0.00%

发文量