Author
Huayin Wang
Recent research
- AI & ComputingOpen access
An introduction to Frame-QL as a query language for declaring governed analytical results rather than relational production procedures. The paper explains why the requested output frame can be the query; how AT declares the final output anchor while expression-local @ {…} pins an...
- AI & ComputingOpen access
A Primer on the Theory of Data
A table is a container. Rows and columns are an arrangement within that container.SQL is a language for manipulating the arrangement. Numbers and strings are rep-resentations used to store values. All are useful, but none tells us what makes a dataobject exist, what gives it mean...
- AI & ComputingOpen access
A value is not yet data. The number 42 becomes data only when it is bound to something it is about: age = 42, and more completely, John's age = 42. This simple observation leads to a larger problem. Analytical systems manipulate values easily, but they often leave implicit the an...
- AI & ComputingOpen access
The Theory of Data develops a foundational framework for governed analytical data, lawful transformation, and certification. A datum is one typed value at one anchor point. A member is a homogeneous typed partial function binding datums over one anchor within one universe. A meas...
- Society & EconomicsOpen access
The Theory of Data: An Introduction presents an accessible introduction to the Theory of Data for analysts, data engineers, analytics engineers, semantic-layer developers, and AI engineers. The Theory begins from a distinction that analytical systems often leave implicit: produci...
- AI & ComputingOpen access
Regime Has a Contract: Intervention, Observation, and the Data Foundation of Causal Identification
The Theory of Data distinguishes event and spine universes by their point-existence laws but does not, by that distinction alone, specify how values are generated at those points. This paper introduces regime as a separate governed object: the value-generation arrangement under w...
- AI & ComputingOpen access
Missingness Has a Universe: A Typed and Compositional Foundation for Missing-Data Research
Version 1.1 is a vocabulary revision, content-preserving: aligned with The Theory of Data, Version 4.0 — a measure is the governed family; a member of a measure is a governed series; a series is a typed binding of datums over one anchor. Nothing is altered in substance.Modern mis...
- AI & ComputingOpen access
Missingness Has a Universe: A Typed and Compositional Foundation for Missing-Data Research
Version 1.1 is a vocabulary revision, content-preserving: aligned with The Theory of Data, Version 4.0 — a measure is the governed family; a member of a measure is a governed series; a series is a typed binding of datums over one anchor. Nothing is altered in substance.Modern mis...
- AI & ComputingOpen access
Missingness Has a Universe: A Typed and Compositional Foundation for Missing-Data Research
Version 1.1 is a vocabulary revision, content-preserving: aligned with The Theory of Data, Version 4.0 — a measure is the governed family; a member of a measure is a governed series; a series is a typed binding of datums over one anchor. Nothing is altered in substance.Modern mis...
- AI & ComputingOpen access
Frame-QL is a language for declaring a governed analytical result: the requester names the analytical objects, declares the output anchor, and states the conditions — never the relational operations that produce them. This introduction develops the governing idea (the output fram...
- Society & EconomicsOpen access
The Theory of Data — Particles, Atoms, Anchors, Universes, and Lawful Transformation
This paper develops a foundational framework for governed analytical objects, lawful transformation, and certification. A particle is one typed value at one anchor point. An atom member is a homogeneous typed partial function that binds particles over one anchor within one univer...
- AI & ComputingOpen access
Missingness Has a Universe: A Typed and Compositional Foundation for Missing-Data Research
Modern missing-data theory has developed powerful accounts of missingness mechanisms, ignorability, recoverability, testability, imputation, sensitivity analysis, and nonresponse. Yet most of this work begins after a data foundation has already been fixed: units, variables, obser...