Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,553,113 papers from all fields of science
Search
Sign In
Create Free Account
IBM System R
Known as:
System Relational
, R (disambiguation)
, System-R
Expand
IBM System R is a database system built as a research project at IBM's San Jose Research Laboratory beginning in 1974. System R was a seminal project…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
ACM Software System Award
Algorithm
Codd's 12 rules
Database
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Urbis brasiliae ou sobre cidades do Brasil : inserindo assentamentos urbanos do país em investigações configuracionais comparativas
Valério Medeiros
2009
Corpus ID: 140744895
A close look at city form-space studies and inquiries allow us to assure there was no step beyond historiographical and…
Expand
2004
2004
Solving Nonlinear Polynomial Systems via Symbolic-Numeric Elimination Method
L. Zhi
,
G. Reid
2004
Corpus ID: 17363298
Consider a general polynomial system S in x1, . . . , xn of degree q and its corresponding vector of monomials of degree less…
Expand
2002
2002
Rewrite Games
Johannes Waldmann
International Conference on Rewriting Techniques…
2002
Corpus ID: 27987741
For a terminating rewrite system R, and a ground term t1, two players alternate in doing R-reductions t1 ? R t2 ? R t3 ? R…
Expand
1998
1998
The First-Order Theory of Linear One-Step Rewriting is Undecidable
R. Treinen
Theoretical Computer Science
1998
Corpus ID: 18281902
1997
1997
Finite Family Developments
V. V. Oostrom
International Conference on Rewriting Techniques…
1997
Corpus ID: 16454369
Associate to a rewrite system R having rules l → r, its labelled version Rω having rules , for any natural number m e ω. These…
Expand
1996
1996
The First-Order Theory of One-Step Rewriting is Undecidable
R. Treinen
International Conference on Rewriting Techniques…
1996
Corpus ID: 45843385
The theory of one-step rewriting for a given rewrite system R and signature e is the first-order theory of the following…
Expand
1993
1993
Query optimization in mobile environments
Sumit Ganguly
,
R. Alonso
1993
Corpus ID: 15511715
,
1992
1992
Three-dimensional motion in the radio jet of the binary system R Aquarii
H. Lehto
,
Dean R. H. Johnson
Nature
1992
Corpus ID: 4315959
R AQUARII is a symbiotic binary system surrounded by a complex extended optical nebulosity1. At radio and optical wavelengths a…
Expand
1990
1990
Some Results on Equational Unification
P. Narendran
,
F. Otto
CADE
1990
Corpus ID: 206635421
A clear distinction is made between the (elementary) unification problem where there is only one pair of terms to be unified, and…
Expand
Highly Cited
1984
Highly Cited
1984
Architectural Issues of Transaction Management in Multi-Layered Systems
G. Weikum
,
H. Schek
Very Large Data Bases Conference
1984
Corpus ID: 11962084
The internal structure of current data b;lse systems is ideally characterized by a hierarchy of multiple layers. Each layer…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE