CREATE TABLE field (fieldid NUMBER)
CREATE TABLE writes (paperid NUMBER, authorid NUMBER)
CREATE TABLE paperfield (fieldid NUMBER, paperid NUMBER)
CREATE TABLE keyphrase (keyphraseid NUMBER, keyphrasename VARCHAR2)
CREATE TABLE venue (venueid NUMBER, venuename VARCHAR2)
CREATE TABLE dataset (datasetid NUMBER, datasetname VARCHAR2)
CREATE TABLE author (authorid NUMBER, authorname VARCHAR2)
CREATE TABLE paperkeyphrase (paperid NUMBER, keyphraseid NUMBER)
CREATE TABLE paper (paperid NUMBER, title VARCHAR2, venueid NUMBER, year NUMBER, numciting NUMBER, numcitedby NUMBER, journalid NUMBER)
CREATE TABLE cite (citingpaperid NUMBER, citedpaperid NUMBER)
CREATE TABLE paperdataset (paperid NUMBER, datasetid NUMBER)
CREATE TABLE journal (journalid NUMBER, journalname VARCHAR2)

Which paper should I read about dependent types ?
SELECT DISTINCT paper.paperid FROM keyphrase, paper, paperkeyphrase WHERE keyphrase.keyphrasename = 'dependent types' AND paperkeyphrase.keyphraseid = keyphrase.keyphraseid AND paper.paperid = paperkeyphrase.paperid
SELECT DISTINCT "paper"."paperid" FROM "keyphrase" JOIN "paperkeyphrase" ON "keyphrase"."keyphraseid" = "paperkeyphrase"."keyphraseid" JOIN "paper" ON "paper"."paperid" = "paperkeyphrase"."paperid" WHERE "keyphrase"."keyphrasename" = 'dependent types'