Breaking the atom with Samson

Authors
Publication date 2013
Host editors
  • B. Coecke
  • L. Ong
  • P. Panangaden
Book title Computation, logic, games, and quantum foundations: the many facets of Samson Abramsky
Book subtitle essays dedicated to Samson Abramsky on the occasion of his 60th birthday
ISBN
  • 9783642381638
ISBN (electronic)
  • 9783642381645
Series Lecture Notes in Computer Science
Pages (from-to) 327-335
Publisher Heidelberg: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract The dependence atom =(x,y) was introduced in [11]. Here x and y are finite sets of attributes (or variables) and the intuitive meaning of =(x,y) is that the attributes x completely (functionally) determine the attributes y. One may wonder, whether the dependence atom is truly an atom or whether it has further constituents. My very pleasant co-operation with Samson Abramsky led to the breaking of this atom, with hitherto unforeseen consequences. Here is the story.
Document type Chapter
Language English
Published at
Permalink to this page
Back