Implementation of Privacy Calculus and Its Type Checking in Maude.

Georgios V. Pitsiladis Petros S. Stefaneas

Published in: ISoLA (2) (2018)

Keyphrases

type checking
database query languages
data types
java virtual machine
query processor
efficient implementation
relational calculus
data streams
management system
query optimization
database technology
formal specification
abstract data types