On the public citation graph

Exceeding the limits of polymorphism in database programming languages

0 signed · 49 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.1007/3-540-50345-5_8openalex-snapshot

Formalizing objects for databases using ADABTPL

inferredcites →https://doi.org/10.1007/978-1-4471-3173-1_1openalex-snapshot

The Napier Type System

inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot

Lecture Notes in Computer Science 1205

inferredcites →https://doi.org/10.1109/iccl.1988.13064openalex-snapshot

The precise control of inheritance and the inheritance of theory in the ADABTPL language

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

Concepts and experiments in computational reflection

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

Remarks on the algebra of non first normal form relations

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

Database programming in Machiavelli—a polymorphic language with static type inference

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

Database programming in Machiavelli---a polymorphic language with static type inference

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

Automatic verification of database transaction safety

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

Reflection and semantics in LISP

inferredcites →https://doi.org/10.5555/319568.319577openalex-snapshot

Database theory for supporting specification-based database system development

What points at this work

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

inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(199808)28:10<1045::aid-spe191>3.3.co;2-6openalex-snapshot

Linguistic reflection in Java

inferred← citeshttps://doi.org/10.1006/jcss.1995.1063openalex-snapshot

Subtyping in OODBs

inferred← citeshttps://doi.org/10.1006/jcss.1996.0040openalex-snapshot

Reflective Programming in the Relational Algebra

inferred← citeshttps://doi.org/10.1006/jcss.2001.1812openalex-snapshot

Polymorphic Type Inference for the Relational Algebra

inferred← citeshttps://doi.org/10.1007/11890591_6openalex-snapshot

Towards Algebraic Query Optimisation for XQuery

inferred← citeshttps://doi.org/10.1007/3-540-46562-6_28openalex-snapshot

Current Directions in Hyper-Programming

inferred← citeshttps://doi.org/10.1007/3-540-53397-4_33openalex-snapshot

Language technology for post-relational data systems

inferred← citeshttps://doi.org/10.1007/3-540-54141-1_11openalex-snapshot

Towards database application systems: Types, kinds and other open invitations

inferred← citeshttps://doi.org/10.1007/3-540-54141-1_15openalex-snapshot

Data construction with recursive set expressions

inferred← citeshttps://doi.org/10.1007/3-540-54141-1_17openalex-snapshot

A recursive base for database programming primitives

inferred← citeshttps://doi.org/10.1007/3-540-57342-9_81openalex-snapshot

Managing change in persistent object systems

inferred← citeshttps://doi.org/10.1007/978-1-4471-2122-0_28openalex-snapshot

START: A Linguistic Reflection Tool Using Hyper-Program Technology

inferred← citeshttps://doi.org/10.1007/978-1-4471-3178-6_2openalex-snapshot

Persistent Languages and Architectures

inferred← citeshttps://doi.org/10.1007/978-1-4471-3178-6_4openalex-snapshot

Protection in Persistent Object Systems

inferred← citeshttps://doi.org/10.1007/978-1-4471-3577-7_9openalex-snapshot

F-Bounded Polymorphism for Database Programming Languages

inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_12openalex-snapshot

Protection in Persistent Object Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_16openalex-snapshot

Bulk Types: Built-in or Add-On?

inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_6openalex-snapshot

The Napier88 Persistent Programming Language and Environment

inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_7openalex-snapshot

Linguistic Reflection: Introduction and State of the Art

inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_8openalex-snapshot

Type-Safe Linguistic Reflection: A Generator Technology

inferred← citeshttps://doi.org/10.1007/978-3-642-77605-2_7openalex-snapshot

Object-Oriented Database Systems for Geographic Applications: an Experiment with O2

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

Orthogonally persistent object systems

inferred← citeshttps://doi.org/10.1016/0141-9331(93)90047-bopenalex-snapshot

Mechanisms for controlling evolution in persistent object systems

inferred← citeshttps://doi.org/10.1016/0950-5849(95)01041-6openalex-snapshot

The processing strategy for the NF2 relational frc-interface

inferred← citeshttps://doi.org/10.1016/j.datak.2005.11.007openalex-snapshot

A multi-level architecture for distributed object bases

inferred← citeshttps://doi.org/10.1016/j.scico.2021.102691openalex-snapshot

A logic for reflective ASMs

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

Persistent programming with strongly typed linguistic reflection

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

Linguistic reflection: a bridge from programming to database languages

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

An ad hoc approach to the implementation of polymorphism

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

Reflective programming in the relational algebra

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

Second-order signature

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

The ODMG object model

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

The ODMG object model

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

Type inference in the polymorphic relational algebra

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

Type-checking OQL queries in the ODMG type systems

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

The Abstract State Machines Method

inferred← citeshttps://doi.org/10.48550/arxiv.1006.3481openalex-snapshot

Reflection and Hyper-Programming in Persistent Programming Systems

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0106035openalex-snapshot

Polymorphic type inference for the relational algebra

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.