General information
Category:
Databases,Tables, Views, Indexing and SQL syntax
Title:
Set theory references
In the late '80s, Maryland University's CIS department started developing and teaching "A Mathematical Approach to Computer Programming" (so it says on my old text book). It looked like a good idea but was too immature to be of any real use.
That was more than 10 years ago. Does anyone know of any research or references to set theory (for SQL logic) or programmatic calculus?
Reply
View the map of this thread
View the map of this thread starting from this message only
View all messages of this thread
View all messages of this thread starting from this message only