Dynamic Integrity Constraints In Databases

数据库中的动态完整性约束

基本信息

  • 批准号:
    9110581
  • 负责人:
  • 金额:
    $ 7万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    1991
  • 资助国家:
    美国
  • 起止时间:
    1991-08-01 至 1994-07-31
  • 项目状态:
    已结题

项目摘要

Dynamic integrity constraints arise in many traditional and non- traditional database applications; however, such constraints are not supported by current database management systems. This project focuses on efficient methods for checking dynamic integrity constraints in databases. Past Temporal Logic and Past Metric Temporal Logic are proposed as constraint languages, making it possible to formulate both qualitative and quantitative temporal conditions. The project includes the development and the implementation of a method to reduce dynamic integrity checking to static integrity checking. If this method is used, past database states do not have to be stored for the purpose of dynamic integrity checking. Instead, compressed historical information is stored in every database state as auxiliary relations. The definitions of the needed auxiliary relations are automatically derived from the constraints. Techniques that optimize constraint checking and issues that arise from the integration of this new method with existing database management systems will also be addressed. The proposed research will significantly enlarge the application scope of database management systems and will make it easier to integrate these systems with real-time processes.
动态完整性约束出现在许多传统的和非传统的 传统的数据库应用程序;然而, 不支持当前的数据库管理系统。 这 该项目侧重于检查动态 数据库中的完整性约束。 过去时间逻辑与过去 度量时态逻辑被提出作为约束语言, 从而可以制定定性和定量的 时间条件。 该项目包括开发和 一种降低动态完整性的方法的实现 静态完整性检查。 如果使用这种方法, 过去的数据库状态不必为了 动态完整性检查 相反, 信息作为辅助存储在每个数据库状态中 关系 所需辅助关系的定义如下: 自动从约束中导出。 的技术 优化约束检查和问题, 这种新方法与现有数据库管理的集成 系统也将得到解决。 拟议的研究将 大大扩大了数据库的应用范围 管理系统,并将使这些更容易整合 具有实时进程的系统。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Jan Chomicki其他文献

On-Demand Query Result Cleaning
按需查询结果清理
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ying Yang;Oliver Kennedy;Jan Chomicki
  • 通讯作者:
    Jan Chomicki
Query Evaluation
查询评估
  • DOI:
    10.1007/978-0-387-39940-9_3377
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jan Chomicki
  • 通讯作者:
    Jan Chomicki
Classes of Spatio-Temporal Objects and their Closure Properties
Disjunctive databases for representing repairs
Preference elicitation in prioritized skyline queries
  • DOI:
    10.1007/s00778-011-0227-9
  • 发表时间:
    2011-03-08
  • 期刊:
  • 影响因子:
    3.800
  • 作者:
    Denis Mindolin;Jan Chomicki
  • 通讯作者:
    Jan Chomicki

Jan Chomicki的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Jan Chomicki', 18)}}的其他基金

III: Small: Collaborative Research: Curation And Integration Of Inconsistent And Incomplete Temporal Data
III:小:协作研究:不一致和不完整的时态数据的管理和整合
  • 批准号:
    1524469
  • 财政年份:
    2015
  • 资助金额:
    $ 7万
  • 项目类别:
    Standard Grant
EAGER: Collaborative Research: Conflict Resolution and Exchange of Temporal Data
EAGER:协作研究:冲突解决和时态数据交换
  • 批准号:
    1450590
  • 财政年份:
    2014
  • 资助金额:
    $ 7万
  • 项目类别:
    Standard Grant
Preference Queries
偏好查询
  • 批准号:
    0307434
  • 财政年份:
    2003
  • 资助金额:
    $ 7万
  • 项目类别:
    Continuing Grant
Consistent Answers to SQL Queries
SQL 查询的一致答案
  • 批准号:
    0119186
  • 财政年份:
    2001
  • 资助金额:
    $ 7万
  • 项目类别:
    Continuing Grant
U.S.-Chile Cooperative Research: Queries in Inconsistent Databases
美国-智利合作研究:不一致数据库中的查询
  • 批准号:
    0196169
  • 财政年份:
    2000
  • 资助金额:
    $ 7万
  • 项目类别:
    Standard Grant
U.S.-Chile Cooperative Research: Queries in Inconsistent Databases
美国-智利合作研究:不一致数据库中的查询
  • 批准号:
    9901877
  • 财政年份:
    1999
  • 资助金额:
    $ 7万
  • 项目类别:
    Standard Grant
Constraint-Based Database Interoperability
基于约束的数据库互操作性
  • 批准号:
    9632870
  • 财政年份:
    1996
  • 资助金额:
    $ 7万
  • 项目类别:
    Continuing Grant

相似海外基金

Uncovering Mechanisms of Racial Inequalities in ADRD: Psychosocial Risk and Resilience Factors for White Matter Integrity
揭示 ADRD 中种族不平等的机制:心理社会风险和白质完整性的弹性因素
  • 批准号:
    10676358
  • 财政年份:
    2024
  • 资助金额:
    $ 7万
  • 项目类别:
CRII: SaTC: A Contextual Integrity Approach for Privacy Reasoning Regarding Performance Tracking Technologies in US College Athletics
CRII:SaTC:美国大学体育运动成绩跟踪技术隐私推理的上下文完整性方法
  • 批准号:
    2348294
  • 财政年份:
    2024
  • 资助金额:
    $ 7万
  • 项目类别:
    Standard Grant
Research integrity in international research collaborations: emerging roles and responsibilities of higher education and research
国际研究合作中的研究诚信:高等教育和研究的新角色和责任
  • 批准号:
    24K16716
  • 财政年份:
    2024
  • 资助金额:
    $ 7万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Efficient and secure data integrity auditing on cloud
云端高效、安全的数据完整性审计
  • 批准号:
    DP230100991
  • 财政年份:
    2024
  • 资助金额:
    $ 7万
  • 项目类别:
    Discovery Projects
INVESTIGATING IN VIVO COMPRESSIVE FORCES: CELL DIVISION, NUCLEAR INTEGRITY, CANCER INITIATION
研究体内压力:细胞分裂、核完整性、癌症发生
  • 批准号:
    MR/W024519/1
  • 财政年份:
    2023
  • 资助金额:
    $ 7万
  • 项目类别:
    Research Grant
OAC Core: Improving Data Integrity for HPC Datasets using Sparsity Profile
OAC 核心:使用稀疏性配置文件提高 HPC 数据集的数据完整性
  • 批准号:
    2312982
  • 财政年份:
    2023
  • 资助金额:
    $ 7万
  • 项目类别:
    Standard Grant
I-Corps: Liveness detection and integrity authentication of digital audio
I-Corps:数字音频的活性检测和完整性认证
  • 批准号:
    2309443
  • 财政年份:
    2023
  • 资助金额:
    $ 7万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2023 Fifth Annual Symposium of Applications of Contextual Integrity
旅行:2023 年第五届情境完整性应用年度研讨会的 NSF 学生旅行补助金
  • 批准号:
    2330434
  • 财政年份:
    2023
  • 资助金额:
    $ 7万
  • 项目类别:
    Standard Grant
Ethical Industry 4.0: Embedding Legality, Integrity and Accountability in Digital Manufacturing Ecosystems
道德工业 4.0:将合法性、诚信和责任融入数字制造生态系统
  • 批准号:
    2412678
  • 财政年份:
    2023
  • 资助金额:
    $ 7万
  • 项目类别:
    Standard Grant
Viral disruption of host transcriptome integrity
病毒破坏宿主转录组完整性
  • 批准号:
    10666992
  • 财政年份:
    2023
  • 资助金额:
    $ 7万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了