《周礼·春官·大司乐》：“以乐舞教国子，舞《云门》、《大卷》、《大咸》。”

郑玄 注：“《大咸》，《咸池》， 尧 乐也。”

《山海经·北山经》：“﹝ 小咸之山 ﹞北二百八十里，曰 大咸之山 ，无草木，其下多玉。”