David McGoveran


David McGoveran is an American computer scientist and physicist, software industry analyst, and inventor. In computer science, he is recognized as one of the pioneers of relational database theory. In the field of physics, his most notable work is in discrete and bit-string physics, in which he derived fundamental dimensionless constants from first principles.

Education

David McGoveran majored in physics and mathematics, and minored in cognition and communication at the University of Chicago from 1973 to 1976, with graduate studies in physics and psycholinguistics. ब्लू पिक्च
रHe pursued additional graduate studies from 1976 to 1979 at Stanford University.

Career

While a student he was employed by the Enrico Fermi Institute's Laboratory for Astrophysics and Space Research, Dow Chemical Company's Western Applied Science and Technology Laboratories, and University of Chicago Hospitals and Clinics. After graduation from University of Chicago, he founded the consulting firm of Alternative Technologies under the mentoring of H. Dean Brown and Dr. Cuthbert Hurd. While starting his consulting practice, he worked at SRI International, his first consulting client.
Between 1979 and 1981, he taught electronics engineering in the Professional Engineering Institute at Menlo College and was Chairman of the Computer Science and Business Departments at Condie College, developing the schools bachelor program in computer science.
Alternative Technologies has provided consulting on the design and development of numerous software systems, specializing in mission critical and distributed applications. Clients have included AT&T, Blue Cross, Digital Equipment, Goldman Sachs, HP, IBM, Microsoft, MCI-Worldcom, Oracle, and many others.
McGoveran's software engineering contributions include a collaborative conferencing system ; multi-tier relational CIM system ; relational access manager ; international electronic funds transfer ; trading systems databases ; OLCP requirements ; an object-relational portfolio management ; first Sybase SQL Server PC client ; client-server API requirements ; object-relational API requirements ; query optimizer requirements ; first middleware market analysis and forecast ; Database Connectivity Benchmark ; numerous high availability and scalable systems ; and designed BPMS products and established the BPM category with HP and IBM.
He has chaired various professional conferences. He assesses software opportunities and risks for vendors, venture capitalists and other investors; and occasionally serves as an expert in software intellectual property litigation.

Research

Mathematical Logic

Work on applications of mathematical logic has pervaded Mr. McGoveran's career. He has done original research and published on the structure of paradoxes, applications of quantum logic to schizophrenia, linguistic logic and computational semantics, fuzzy logic, and applications of logic, including multi-valued logics, to databases.

Discrete Physics

Beginning in 1974, Mr. McGoveran began researching quantum logic and new approaches to discrete mathematics. He became acquainted with, and starting working with, the combinatorial hierarchy and E. W. "Ted" Bastin, Frederick Parker-Rhodes, John Amson, and Clive W. Kilmister through H. Pierre Noyes in 1980 and began applying his own work on discrete mathematics to physics. He worked with H. Pierre Noyes starting in 1982 in the Theory Group at SLAC, making contributions to the discrete mathematical foundations of physics, and was invited to be Visiting Scholar. The work Prephysics discusses a philosophy of science behind discrete physics, including McGoveran's multidisciplinary modeling methodology. In Foundations of a Discrete Physics a pregeometry and purely discrete and finite justification for differential geometry is developed from first principles and applied it to physics. The work includes a purely combinatorial derivation of the parallel transport operator, shows that the construction of certain discrete analogs to velocity intrinsically obey Lorentz invariance, while giving commutation relations, and the uncertainty principle. The topological spaces so generated may be multiply connected. The relationship to Noyes' bit-string physics is explained. Subsequently McGoveran developed a combinatorial and phenomenological argument for computing the fine structure constant from the combinatorial hierarchy, accurate to four decimal places. While suggestive, the argument was not considered convincing.
In 1988, he used similar methods to develop a new derivation of the Fine Structure Spectrum of Hydrogen, which was further developed and published with H.P.Noyes. In later work, the approach was shown to support Feynman sum-over-paths in 1+1 dimensions and gave the solution to the Dirac equation. Noyes has cited McGoveran's calculation of the Sommerfeld-Dirac formula and corrections to both the combinatorial hierarchy computation of the fine structure and gravitational constants as convincing him that the evolving combinatorial hierarchy construction could be the starting point for a new physics and physical cosmology.

Transaction Management

Beginning in 1981, Mr. McGoveran began consulting on the design of transaction processing systems, including distributed transactions. Investigations into the complexity and cost of distributed transactions, as well as the difficulty of maintaining transactional consistency in online applications led to research into alternatives to the traditional transaction models that used pessimistic concurrency control and enforced ACID properties. McGoveran defined physical transactions as the unit of recovery, logical transactions as the unit of consistency, and business transactions as the unit of audit The resulting adaptive transaction model introduces a transaction intrinsic definition of consistency, deferring the decision to combine the results of two or more transactions. His work on transaction management resulted in the award of US Patent No 7,103,597.

Relational Data Model and Related Research

McGoveran's research on E.F. Codd's relational model has focused on the issues of data modeling, missing information, and view updating. The last two are considered by some database researchers to be the most difficult and controversial problems in relational database research.
Having worked on the design and development of several early large scale, distributed, commercial relational database applications, McGoveran sought to improve upon the science of database design. This work lead to the development of
  1. new analyses of and solutions to the problem of "missing information" and avoiding the use of nulls and therefore many-valued logic
  2. the specification and uses of relation predicates as an application of Leibniz' Law
  3. a new design principle now known as the Principle of Orthogonal Design
His work on logic applied to relational databases and on design without nulls has been republished several times.
McGoveran tackled the problem of view updating with Christopher J. Date starting in 1993 after having developed methods for reversible schema migration for clients on Wall Street. His solution, based on relation predicates, formed the basis for the algorithms found in The Third Manifesto for updating virtual relations. Date has credited McGoveran with originally suggesting the basic idea for the view updating approach, and which Hugh Darwen says represented a major shift in thinking on the issue. This work has resulted in two patents.
Some of McGoveran's work on databases is discussed at Fabian Pascal's Database Debunkings.

EAI and Business Process Management

After consulting on numerous data integration and enterprise application integration projects, and related middleware products, McGoveran recognized that process aspects of integration were largely overlooked. Most business process technology focused on analyzing and documenting existing business processes, then manually "reengineering" the processes to eliminate waste, remove bottlenecks, and improve cycle times. These efforts were largely disjoint from process automation systems and distributed control systems, and workflow technologies.
McGoveran postulated an analogy between data management and process management. Just as the relational data model proposed separating the logical model of the data from the physical storage model, it seemed that a logical process model should be separated from its physical implementation. As with the relational model, this would permit business process design via models that were logically separated from specifics of process implementation, process scheduling, and process optimization. By introducing process measurement and analytics into the proposed process management system, closed loop process control became theoretically possible. The result was a set of requirements and a canonical architecture for the then largely unknown business process management system.
The first commercial package compliant with this BPMS architecture ChangEngine - was then built and introduced by Hewlett-Packard in 1997-98 under McGoveran's direction. Subsequently, McGoveran introduced these concepts at DCI's EAI conference in 1999, through work as Sr. Technical Editor of the eAI Journal and worked with companies like IBM, Vitria, Candle, Fuego, Savvion, and numerous others to help shape the market and the BPM category. Many workflow and business process reengineering companies joined in the effort, transforming themselves into BPM companies during the period 1999-2010.

Inventions and Products

McGoveran has been awarded five U.S. Patents and a U.S. Scientific Copyright, and has filed several additional patent applications.
Three Dimensional Programmable Slide Rule "U. S. Scientific Copyright".
McGoveran has written articles in the fields of relational databases, transaction processing, business intelligence, enterprise application integration, business process management, mathematics, and physics, including over 100 monthly columns for eAI Journal throughout the life of the journal.

Books