奥斯卡·H·伊巴拉。;苏建文;君士坦丁·巴齐斯 计数器以及具有线性约束的数据库查询的安全性和不相交性问题。 (英语) Zbl 1013.68077号 Martín-Vide,Carlos(编辑)等人,《数学、计算机科学、语言学和生物学的交汇点》。为纪念盖奥盖·佩恩而写的论文。多德雷赫特:Kluwer学术出版社。127-137 (2001). 摘要:我们简要回顾了有关多计数器机器的一些已知可判定性结果。利用这些结果,我们证明了具有线性整数约束的数据库查询的安全性和不相交性是可判定的。关于整个系列,请参见[Zbl 0996.00023号]. 引用于1文件 MSC公司: 第68页,共15页 数据库理论 关键词:可判定性 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,in:数学、计算机科学、语言学和生物学的交汇之处。为纪念盖奥盖·佩恩而写的论文。多德雷赫特:Kluwer学术出版社。127-137(2001;Zbl 1013.68077)