SEQUEL

swMATH28677MaRDI QIDQ40391FDOQ40391

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=811515

Cited In (7)

• Graphical Conjunctive Queries.
• Wcrl: A data model independent language for database systems
• A Coq formalisation of SQL's execution engines
• HoTTSQL
• Q*cert
• SQLCert
• A relational database system architecture based on a vector-processing method

This page was built for software: SEQUEL