On the public citation graph

Extending the functional data model to computational completeness

0 signed · 70 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/spe.4380170302openalex-snapshot

Implementing an extended functional data model using PS‐algol

inferredcites →https://doi.org/10.1007/3-540-15975-4openalex-snapshot

Functional Programming Languages and Computer Architecture

inferredcites →https://doi.org/10.1007/3-540-15975-4_26openalex-snapshot

Miranda: A non-strict functional language with polymorphic types

inferredcites →https://doi.org/10.1007/3-540-15975-4_45openalex-snapshot

Practical polymorphism

inferredcites →https://doi.org/10.1007/3-540-17184-3openalex-snapshot

Combinators and Functional Programming Languages

inferredcites →https://doi.org/10.1007/3-540-17184-3_38openalex-snapshot

Amber

inferredcites →https://doi.org/10.1007/3-540-19074-0openalex-snapshot

Advances in Database Technology—EDBT '88

inferredcites →https://doi.org/10.1007/3-540-19074-0_46openalex-snapshot

A Prolog interface to a Functional Data Model database

inferredcites →https://doi.org/10.1007/3-540-19074-0_57openalex-snapshot

A foundation for evolution from relational to object databases

inferredcites →https://doi.org/10.1007/3-540-50345-5openalex-snapshot

Advances in Object-Oriented Database Systems

inferredcites →https://doi.org/10.1007/978-1-4471-3166-3openalex-snapshot

Functional Programming

inferredcites →https://doi.org/10.1007/978-1-4684-3384-5openalex-snapshot

Logic and Data Bases

inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_11openalex-snapshot

Negation as Failure

inferredcites →https://doi.org/10.1007/978-3-642-72617-0_2openalex-snapshot

Simplifying Complex Objects: The PROBE Approach to Modelling and Querying Them

inferredcites →https://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot

A theory of type polymorphism in programming

inferredcites →https://doi.org/10.1016/0141-9331(87)90510-2openalex-snapshot

The implementation of functional programming languages

inferredcites →https://doi.org/10.1016/0167-6423(87)90019-0openalex-snapshot

Basic polymorphic typechecking

inferredcites →https://doi.org/10.1016/0378-7206(83)90020-4openalex-snapshot

Information systems design methodologies - A comparative review

inferredcites →https://doi.org/10.1093/comjnl/17.1.52openalex-snapshot

Consistency auditing of databases

inferredcites →https://doi.org/10.1093/comjnl/29.1.38openalex-snapshot

EFDM: Extended Functional Data Model

inferredcites →https://doi.org/10.1145/130283.130289openalex-snapshot

The O2 object-oriented database system

inferredcites →https://doi.org/10.1145/1499402.1499422openalex-snapshot

Data architecture and data model considerations

inferredcites →https://doi.org/10.1145/28697.28739openalex-snapshot

Object identity

inferredcites →https://doi.org/10.1145/308386.308429openalex-snapshot

Object-oriented database systems

inferredcites →https://doi.org/10.1145/319540.319561openalex-snapshot

The functional data model and the data languages DAPLEX

inferredcites →https://doi.org/10.1145/319702.319711openalex-snapshot

An implementation technique for database query languages

inferredcites →https://doi.org/10.1145/348.318586openalex-snapshot

The Grid File

inferredcites →https://doi.org/10.1145/3857.3859openalex-snapshot

GALILEO: a strongly-typed, interactive conceptual language

inferredcites →https://doi.org/10.1145/44498.45062openalex-snapshot

Implementation concepts for an extensible data model and data language

inferredcites →https://doi.org/10.1145/509252.509264openalex-snapshot

The semantic data model

inferredcites →https://doi.org/10.1145/62070.45066openalex-snapshot

Types and persistence in database programming languages

inferredcites →https://doi.org/10.1145/800055.802035openalex-snapshot

A proposal for standard ML

inferredcites →https://doi.org/10.1145/960112.28739openalex-snapshot

Object identity

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1006/ijhc.2002.0528openalex-snapshot

An introduction to clarity: a schematic functional language for managing the design of complex systems

inferred← citeshttps://doi.org/10.1006/jvlc.1997.0060openalex-snapshot

A Framework for Describing Visual Interfaces to Databases

inferred← citeshttps://doi.org/10.1007/3-540-55693-1_37openalex-snapshot

Integration of modal logic and the functional data model

inferred← citeshttps://doi.org/10.1007/3-540-55693-1_38openalex-snapshot

The Raleigh activity model: Integrating versions, concurrency, and access control

inferred← citeshttps://doi.org/10.1007/3-540-56921-9_11openalex-snapshot

A deductive object-oriented database for data intensive application development

inferred← citeshttps://doi.org/10.1007/3-540-58235-5_34openalex-snapshot

Temporal databases: an event oriented approach

inferred← citeshttps://doi.org/10.1007/3-540-58435-8_190openalex-snapshot

TFDL: A Temporal Functional Language for the management of historical databases

inferred← citeshttps://doi.org/10.1007/3-540-60609-2_8openalex-snapshot

Extending database technology

inferred← citeshttps://doi.org/10.1007/3-540-61442-7_12openalex-snapshot

Querying graph databases using a functional language extended with second order facilities

inferred← citeshttps://doi.org/10.1007/978-0-387-39940-9_1092openalex-snapshot

Functional Query Language

inferred← citeshttps://doi.org/10.1007/978-1-4471-3423-7_18openalex-snapshot

Data Model and Query Algebra for a Model-Based, Multi-Modal User Interface

inferred← citeshttps://doi.org/10.1007/978-1-4471-3542-5_2openalex-snapshot

Developmental Support for Knowledge Based Systems

inferred← citeshttps://doi.org/10.1007/978-1-4614-8265-9_1092openalex-snapshot

Functional Query Language

inferred← citeshttps://doi.org/10.1007/978-1-4899-7993-3_1092-2openalex-snapshot

Functional Query Language

inferred← citeshttps://doi.org/10.1007/978-1-84882-618-2_1openalex-snapshot

Why Schematic Functional Programming?

inferred← citeshttps://doi.org/10.1007/978-3-662-05372-0_1openalex-snapshot

Introduction to the Use of Functions in the Management of Data

inferred← citeshttps://doi.org/10.1007/978-3-662-05372-0_2openalex-snapshot

A Functional Database Language for the Associative Model of Data

inferred← citeshttps://doi.org/10.1007/978-3-662-05372-0_3openalex-snapshot

Scoped Referential Transparency in a Functional Database Language

inferred← citeshttps://doi.org/10.1007/978-3-662-05372-0_4openalex-snapshot

Functional Approaches to Constraint Handling and State Change

inferred← citeshttps://doi.org/10.1007/bf02812436openalex-snapshot

Databases for criminal intelligence analysis: Knowledge representation issues

inferred← citeshttps://doi.org/10.1007/bf03037296openalex-snapshot

Database query languages and functional logic programming

inferred← citeshttps://doi.org/10.1007/bfb0022159openalex-snapshot

Advances in Database Technology — EDBT '90

inferred← citeshttps://doi.org/10.1007/bfb0037401openalex-snapshot

Database semantics in heterogeneous environment

inferred← citeshttps://doi.org/10.1007/bfb0053477openalex-snapshot

Scoped referential transparency in a functional database language with updates

inferred← citeshttps://doi.org/10.1016/0968-090x(95)00011-7openalex-snapshot

Deductive databases for transport engineering

inferred← citeshttps://doi.org/10.1016/s0950-5849(97)00014-1openalex-snapshot

A processing framework for object comprehensions

inferred← citeshttps://doi.org/10.1017/s0956796897002657openalex-snapshot

N ATURAL E XPERT : a commercial functional programming environment

inferred← citeshttps://doi.org/10.1023/a:1008700925537openalex-snapshot

The Functional Data Model as the Basis for an Enriched Database Query Language

inferred← citeshttps://doi.org/10.1023/a:1008705026446openalex-snapshot

How to Comprehend Queries Functionally

inferred← citeshttps://doi.org/10.1093/comjnl/35.2.119openalex-snapshot

The Implementation of FDL, a Functional Database Language

inferred← citeshttps://doi.org/10.1093/comjnl/35.2.128openalex-snapshot

Collins Gem Basic Facts: Computers, 3rd edn

inferred← citeshttps://doi.org/10.1093/comjnl/38.1.31openalex-snapshot

Incomplete Information and the Functional Data Model

inferred← citeshttps://doi.org/10.1109/69.317707openalex-snapshot

Explicit graphs in a functional model for spatial databases

inferred← citeshttps://doi.org/10.1109/biwit.1997.614064openalex-snapshot

On the functional approach to RDBMS

inferred← citeshttps://doi.org/10.1109/cmpeur.1993.289867openalex-snapshot

Database model for design data

inferred← citeshttps://doi.org/10.1145/192309.192336openalex-snapshot

Gql, a declarative graphical query language based on the functional data model

inferred← citeshttps://doi.org/10.3990/1.9789090075945openalex-snapshot

On an extension of functional languages for use in prototyping

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.