面向关系查询语言的事件驱动计算
计算机科学中的逻辑
2007-05-23 v1 数据库
编程语言
摘要
本文涉及一种扩展的计算模型，其使用用于数据对象的参数化实体族，并反映了该问题的初步概述。选取了一些主题，简要分析并归类，以涵盖一般问题。作者意在讨论这些特定议题、它们的相互关联及计算意义，以便作为面向未来工作的提案，因此本文尚未被视为封闭的期刊论文。为节省篇幅，技术与实现特征留待后续论文。数据对象是一种示意实体，由部分函数建模。类型概念通过依赖于事件和类型的可变域来扩展。可变域由潜在和示意个体构成，并生成根据事件序列产生的有效类型族。每种有效类型由实际个体组成，这些实际个体相对于事件或脚本而言是实际的。在类型依赖于脚本的情况下，为数据对象附加相应的视图，否则生成快照。该类型由此确定，为强类型变量提供上限范围，从而使局部范围事件驱动，结果为实际个体的族。查询语言的表达力通过扩展关系来增强。
引用
@article{arxiv.cs/0106026,
title = {Event Driven Computations for Relational Query Language},
author = {Larissa Ismailova and Konstantin Zinchenko and Lioubouv Bourmistrova},
journal= {arXiv preprint arXiv:cs/0106026},
year = {2007}
}