logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

Incremental checking of SQL assertions in an RDBMS

delete2025-04-23
delete0
delete
OA
AI
X
Xavier Oriol *
E
Ernest Teniente
DOI：10.1016/j.is.2025.102550delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
在SQL-92标准中引入了SQL断言的概念，用于定义关系数据库上的通用约束。它们可用于例如指定跨行约束或多表检查约束。然而，迄今为止，当前的任何关系数据库管理系统（RDBMSs）均不支持SQL断言，这是因为提供高效解决方案的难度。为了高效实现SQL断言，RDBMS需要一种增量检查机制。即，给定一个断言，RDBMS应仅在事务以可能违反该断言的方式更改数据时才重新验证它，并且仅针对受影响的数据。几年前，演绎数据库社区提出了几种增量检查方法，但它们的结果未能应用于RDBMS。在本文中，我们提出了一种通过增量重新验证技术高效实现RDBMS中SQL断言的方法。这种方法与任何RDBMS兼容，因为它完全基于标准SQL概念（表、触发器和过程）。我们的提案使用了并扩展了事件规则（Event Rules），这是演绎数据库中增量检查的一个现有提案。此扩展需要处理分配性聚合，这使所处理的SQL断言的表达能力超越了第一阶约束。此外，我们利用此扩展来改进涉及存在变量的约束的处理，存在变量是一种常见且难以处理且成本高昂的约束类型。最后，我们通过一些实验展示了我们方法的高效性，并正式证明了其正确性和完备性。
Keyword:
SQL assertions
Integrity constraints
Incremental checking
AI总结

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Enterprise Information Systems 封面图
Enterprise Information Systems
IF:
3.9
论文数:
2.8K
被引数:
1.8K

机构

U
Univ Politecn Cataluna
学者数:
341
论文数: 195
被引数: 93
引用论文

引用论文

Incremental inconsistency detection with low memory overhead
errSoftware: Practice and Experience
IF0
err2012-12-28
err0
errOAAI
errJean‐Rémy Falleri; Xavier Blanc; Reda Bendraou; Marcos Aurélio Almeida da Silva; Cédric Teyton
err分享
err收藏
The events method for view updating in deductive databases
errLecture Notes in Computer Science
IF0
err2024-09-04
err0
PREAI
errErnest Teniente; Antoni Olivé
err分享
err收藏
Maintaining views incrementally
errACM SIGMOD Record
IF0
err1993-06-01
err0
errOAAI
errAshish Gupta; Inderpal Singh Mumick; V. S. Subrahmanian
err分享
err收藏
Incremental Checking of OCL Constraints with Aggregates Through SQL通过SQL对包含聚合的OCL约束进行增量检查
errLecture Notes in Computer Science
IF0
err2015-12-08
err0
PREAI
errXavier Oriol; Ernest Teniente
err分享
err收藏
RETE A FAST ALGORITHM FOR THE MANY PATTERN MANY OBJECT PATTERN MATCH PROBLEM
errartificial intelligence review
IF4.6
err1982-09-01
err1.3K
PREAI
errFORGY, CL
err分享
err收藏
Detecting data errors检测数据错误
errProceedings of the VLDB Endowment
IF0
err2016-08-01
err0
PREAI
errZiawasch Abedjan; Xu Chu; Dong Deng; Raul Castro Fernandez; Ihab F. Ilyas; Mourad Ouzzani; Paolo Papotti; Michael Stonebraker; Nan Tang
err分享
err收藏
SVTe
errProceedings of the 1st international workshop on Testing database systems
IF0
err2008-06-13
err0
PREAI
errCarles Farré; Guillem Rull; Ernest Teniente; Toni Urpí
err分享
err收藏
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural LanguageSQL-PL4OCL：一个从OCL到SQL过程语言的自动代码生成器
err2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)
IF0
err2017-09-01
err0
PREAI
errMarina Egea; Carolina Dania
err分享
err收藏
Incremental integrity checking of UML/OCL conceptual schemas
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2009-09-01
err53
PREAI
errCabot, Jordi; Teniente, Ernest
err分享
err收藏
Making prolog more expressive
errThe Journal of Logic Programming
IF0
err1984-10-01
err0
PREAI
errJ.W. Lloyd; R.W. Topor
err分享
err收藏
学者 查看更多内容