On a semantic definition of data independence

DOI10.1007/3-540-44904-3_16MaRDI QIDQ4457460zbMATH OpenFDO

Authors Ranko Lazić, David Nowak

Publication date 22 March 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2701/27010226.htm, http://wrap.warwick.ac.uk/61244/1/WRAP_cs-rr-392.pdf

zbMATH Keywords

data independencedefinabilitylogical relationsnondeterminism

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A unifying approach to data-independence
• Logical Data Independence Reconsidered (Extended Abstract)
• A semantic condition for data independence and applications in hardware verification
• A generalized notion of semantic independence
• On the semantics of informational independence
• scientific article; zbMATH DE number 3972251
• On the expressive power of data dependencies
• Independence in database relations
• scientific article; zbMATH DE number 4199657

Cited in

(5)

• A semantic condition for data independence and applications in hardware verification
• A unifying approach to data-independence
• On model checking data-independent systems with arrays without reset
• Logical Data Independence Reconsidered (Extended Abstract)
• Deadlock-freeness of hexagonal systolic arrays

This page was built for publication: On a semantic definition of data independence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4457460)