A reference book that appears to provide a very rigorous logical foundation that I want to construct a standard formal language specification with well-defined semantics for deterministic queries. As with any formal model, its reference implementation will prove its rigor! Also a platform for my Knowledge Representation & Reasoning Systems dreams