Login / Signup
Session-based concurrency in Maude: Executable semantics and type checking.
Carlos Alberto Ramírez Restrepo
Juan C. Jaramillo
Jorge A. Pérez
Published in:
J. Log. Algebraic Methods Program. (2023)
Keyphrases
</>
type checking
database query languages
formal specification
relational calculus
database systems
data types
query processor
relational algebra
query language
model checking
conceptual model
relational databases
databases
data sources
expressive power
schema mappings
object model
data model
data structure