Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,611,939 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
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
,
1991
1991
Decidable Sentences for Context-Free Groups
K. Madlener
,
F. Otto
Symposium on Theoretical Aspects of Computer…
1991
Corpus ID: 1814210
The linear sentences of Book [1983] are a class of logical formulae particularly well-suited for describing certain properties of…
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
1986
1986
Rule-based transformation of relational queries into iterative programs
J. Freytag
,
N. Goodman
ACM SIGMOD Conference
1986
Corpus ID: 14365774
Over the last decade many techniques for optimizing relational queries have been developed. However, the problem of translating…
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