Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System

Malekovi? Mirko

首页> 外文期刊>Journal of computing and information technology >Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System

【24h】

Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System

机译：关系数据库依赖的形式系统的健全性：Tableau演绎系统的应用

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The theory of relational database dependencies is introduced. It is shown that formal systems for functional, multivalued, and subset dependencies are sound. The application of tableau deductive system is presented.

机译：介绍了关系数据库依赖的理论。结果表明，功能，多值和子集相关性的形式系统是健全的。介绍了桌面演绎系统的应用。

著录项

来源
《Journal of computing and information technology》 |1993年第2期|共页
作者
Malekovi? Mirko;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Memory Storage Issues of Temporal Database Applications on Relational Database Management Systems [J] . Sami M. Halawani, Nashwan A. Al-Romema Journal of computer sciences . 2010,第3期

机译：关系数据库管理系统上的临时数据库应用程序的内存存储问题
2. Memory Storage Issues of Temporal Database Applications on Relational Database Management Systems | Science Publications [J] . Nashwan A.A Romema, Sami M. Halawani Journal of computer sciences . 2010,第3期

机译：关系数据库管理系统上的临时数据库应用程序的内存存储问题科学出版物
3. A new method for computing fuzzy functional dependencies in relational database systems [J] . Miljan Vucetic, Miroslav Hudec, Mirko Vujosevic Expert Systems with Application . 2013,第7期

机译：关系数据库系统中计算模糊函数依赖关系的新方法
4. De.clare-a deductive database system with heterogeneous access to relational database systems [C] . Schmidt, H., Steger, Interoperability in Multidatabase Systems, 1991. IMS '91. Proceedings., First International Workshop on . 1991

机译：De.clare-具有对关系数据库系统的异构访问的演绎数据库系统
5. COMPARING QUALITY OF DATA REPRESENTATIONS PRODUCED BY NONEXPERTS USING LOGICAL DATA STRUCTURE AND RELATIONAL DATA MODELS (DATABASE, APPLICATION, INFORMATION SYSTEMS, REQUIREMENTS, DETERMINATION). [D] . RIDJANOVIC, DZENAN. 1986

机译：使用逻辑数据结构和关系数据模型（数据库，应用程序，信息系统，需求，确定）比较非专家产生的数据表示的质量。
6. IV. Clinical Consultation Systems Medical Decision Support Systems and Clinical Research Data Bases: B. Clinical Research Data Bases: Use of a Relational Database to Support Clinical Research: Application in a Diabetes Program [O] . Diane Lomatch, Terry Truax, Peter Savage 1981

机译：IV。临床咨询系统医疗决策支持系统和临床研究数据库：B.临床研究数据库：使用关系数据库支持临床研究：在糖尿病项目中的应用
7. Memory Storage Issues of Temporal Database Applications on Relational Database Management Systems [O] . Sami M. Halawani, Nashwan A.A Romema 2010

机译：关系数据库管理系统上的临时数据库应用程序的内存存储问题

Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System

摘要

著录项

相似文献

相关主题

期刊订阅