Domain independence and the relational calculus-Reference-Cited by-同舟云学术

Domain independence and the relational calculus

Published:1994-06 Issue:6 Volume:31 Page:513-524
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Hull Richard,Su Jianwen

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01213204.pdf

Reference13 articles.

1. [AB88] Abiteboul, S., Beeri, C.: On the power of languages for the manipulation of complex objects. Technical Report No. 846, INRIA, May 1988

2. [AGSS86] Aylamazyan, A.K., Gilula, M.M., Stolboushkin, A.P., Schwartz, G.F.: Reduction of the relational model with infinite domain to the case of finite domains (Russian). Proc. USSR Acad. Sci. (Doklady)286(2), 308?311 (1986)

3. [AV87] Abiteboul, S., Vianu, V.: A transaction language complete for database update and specification. Proceedings of the ACM Symposium on Principles of Database Systems, pp. 260?268, 1987

4. [CH80] Chandra, A.K., Harel, D.: Computable queries for relational data bases. J. Comput. Syst. Sci.,21(2), 156?178 (1980)

5. [Cod70] Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM13(6), 377?387 (1970)

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests;Logical Methods in Computer Science;2024-02-28

2. Explainable Online Monitoring of Metric First-Order Temporal Logic;Lecture Notes in Computer Science;2024

3. Efficient Evaluation of Arbitrary Relational Calculus Queries;Logical Methods in Computer Science;2023-12-22

4. Embedded Finite Models beyond Restricted Quantifier Collapse;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

5. SHACL: A Description Logic in Disguise;Logic Programming and Nonmonotonic Reasoning;2022